I am a first-year PhD Student with the Department of Computer Science at the University of Warwick. I graduated from the Department of Computer Science with a First-class Masters in Engineering in Computer Science in 2017.
My supervisor is Ranko Lazic with joint supervision from Andrzej Murawski. My research interests include Logics, Automata and Games, with a current focus on Petri Nets and variations on Vector Addition Systems. I am seeking to apply functional programming techniques to the existing methods and algorithms which exist for efficiently deciding problems over these automata classes.
My PhD is funded through the Center for Doctoral Training in Urban Science and Progress at the Warwick Institute for the Science of Cities, through an EPSRC grant.
- Assistant Tutor of CS130 Mathematics for Computer Scientists I
- Lab Demonstrator of CS256 Functional Programming
I am an avid computer game developer, and I am an ex-president of the Warwick Game Design society and ex-Exec member of the Warwick Computing Society. I also enjoy playing games and creating websites in my spare time.
alexander dot dixon at warwick dot ac dot uk