My name is Alex Dixon. I am a PhD student with the University of Warwick, researching efficient ways of solving decision problems on Petri nets.

I am

• Master of Engineering in Computer Science
• PhD student at the University of Warwick
• Assistant Tutor for CS130 Mathematics for Computer Scientists 1
• Assistant Tutor for CS256 CS141 Functional Programming
• Assistant Tutor for CS259 Formal Languages
• Assistant Tutor for CS262 Logic and Verification
• Guest lecturer for IL031 Serious Tabletop Game Design & Development

I am also

• Amateur game designer and developer
• Ex-president of Warwick Game Design Society
• Ex-executive commitee member of Warwick Computing Society