Accepting PhD Students

PhD projects

Fully-funded PhD studentships at Monash (any topic within my research interests). Contact me by email if you are interested. More information below -- see PhD opportunities -- or visit the website of the Monash Laboratory for the Foundations of Computing (link below).


Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


I am Senior Lecturer at the Monash University Faculty of Information Technology, Visiting Lecturer in Computer Science at the University of Oxford, and founding co-Director of the Monash Laboratory for the Foundations of Computing. I did my PhD at Edinburgh University (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). Before coming to Monash University, I was also a Departmental Lecturer at the Oxford University Department of Computer Science in the UK. 

Useful links: Oxford homepage DBLP Scholarships

Research interests

My research is interdisciplinary, at the intersection of Computer Science and Artificial Intelligence, and focuses on the study and development of logic, games, and verification techniques for concurrent, autonomous, and multi-agent systems. In particular, I am interested in: 

- Logic and game theory 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. 

Supervision interests

I am interested in supervising PhD/MSc/BSc students in Computer Science, Artificial Intelligence, or Mathematics, who want to work in any of my main areas of research (see Research interests and Research area keywords above). 

If you want to work under my supervision (PhD/MSc/BSc), send me an email. 

PhD opportunities: I have funding for PhD students. More information here.

Education/Academic qualification

Informatics, PhD, On Bisimulation and Model-Checking for Concurrent Systems with Partial Order Semantics, University of Edinburgh

Award Date: 30 Jun 2011

Computing, BEng, Pontificia Universidad Javeriana (Pontifical Xavierian University)

Award Date: 30 Jul 2006

Electronics, BEng, Pontificia Universidad Javeriana (Pontifical Xavierian University)

Award Date: 30 Jul 2005

External positions

Visiting Lecturer, University of Oxford

Research area keywords

  • Logic
  • Game theory
  • Multiagent systems
  • Concurrency theory
  • Formal verification
  • Semantics
  • Automated synthesis
  • Model checking
  • Decision Theory

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or