Home

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 I
• Assistant Tutor for CS141 Functional Programming
• Assistant Tutor for CS259 Formal Languages
• Assistant Tutor for CS262 Logic and Verification

I am also

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