My name is Alex Dixon. I am a Teaching Fellow with the Department of Computer Science at the University of Warwick, researching efficient ways of solving decision problems on Petri nets. You can read more about my professional work at my University profile .