Theoretical Computer Science and Foundations of AI.
In particular, I am interested in logic, games, and concurrency.
I am an Associate Member at the Computer Science Department, University of Oxford 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.