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
CS256CS141 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