Alex Dixon
I am an Assistant Professor with the Department of Computer Science here at Warwick. I have been at the university since 2013, where I completed an integrated Masters in Computer Science followed by a PhD in automata theory. I am part of the Theory and Foundations group, with a primary interest in teaching the fundamentals of computer science.
Teaching Responsibilities
I am the module leader for CS141 Functional Programming, and co-leader for CS260 Algorithms and CS262 Logic and Verification.
I have been a recurring guest lecturer and assistant for IL031 Serious Tabletop Game Design and Development.
I have acted as an organiser or tutor for all of the following modules:
- CS130 Mathematics for Computer Science I
- CS141 and CS256 Functional Programming
- CS259 Formal Languages
- CS260 Algorithms
- CS262 Logic and Verification
- CS412 Formal Systems Development
Other Responsibilities
In addition to teaching responsibilities, I have the following administrative roles:
- The Department's Careers and Industrial Liaison, helping to coordinate student careers events and foster relationships with industry.
- The Graduate Teaching Assistant Coordinator and Teaching Mentor, supporting our graduate teaching assistants in their critical roles as lab and seminar tutors.
Research and Interests
My PhD research area is in automata theory and game semantics, primarily focused around automata defined over infinite alphabets and their applications in programming language theory. This has resulted in a number of publications:
- Alex Dixon, Ranko Lazic:
KReach: A Tool for Reachability in Petri Nets. TACAS 2020 - Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz:
Leafy automata for higher-order concurrency. FoSSaCS 2021 - Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz:
Verifying higher-order concurrency with data automata. LICS 2021
I have a personal and professional interest in the theory and practice of game design and development. I am interested in the philosophy of games (please do ask if you have a spare afternoon to listen!) and in the intersection between ludology and education.
Assistant Professor
Office: CS3.26 (Third floor, DCS)
Office Hours T1 2024:
Tuesday 15:30-16:30
Thursday 15:30-16:30