I am a Monash University Lecturer in the Faculty of Information Technology and a Visiting Lecturer in Computer Science at the University of Oxford. I did my PhD at the University of Edinburgh (Laboratory for Foundations of Computer Science) and was an ERC postdoctoral researcher at the University of Cambridge (Computer Laboratory) and the University of Oxford (Department of Computer Science). At present, I am Co-Director of the Monash Laboratory for the Foundations of Computing. Before coming to Monash, I was a Computer Science Departmental Lecturer at the Oxford University Department of Computer Science.
My research is interdisciplinary, at the intersection of Computer Science and Artificial Intelligence, and focuses on the study and development of logics, games, and verification techniques for concurrent, autonomous, and multi-agent systems.
In particular, I am interested in:
- Logic and games in artificial intelligence and theoretical computer science.
- Semantics and mathematical foundations of concurrent and multi-agent systems.
- Expressiveness and formal verification of models for concurrent computation.
- Mathematical/computational logic: e.g., Fixed-point, modal, and temporal logics.
- Automated synthesis, model checking, and formal verification techniques.