Theoretical Computer Science and Foundations of AI.
In particular, I am interested in logic, games, and concurrency.
I am an Oxford University Visiting Lecturer in the Computer Science Department and a Lecturer at Monash University.
I did a PhD in the University of Edinburgh (Laboratory for Foundations of Computer Science) and was a postdoctoral researcher in the University of Cambridge (Computer Laboratory) and in the University of Oxford (Department of Computer Science).
You can find more information about my work in my Monash University homepage.