Short Bio

Iā€™m an assistant professor in the School of Mathematical and Computer Sciences and member of LAIV: Lab for AI Verification at Heriot-Watt University in Edinburgh. Prior to joining Heriot-Watt, I worked as a postdoctoral researcher at TU Kaiserslautern in Germany. I hold a DPhil/PhD from the University of Oxford, an MSc from the University of Liverpool, and a BSc from Sepuluh Nopember Institute of Technology. Additionally, I have industry experience as a R&D software engineer at Samsung Electronics in Indonesia.

Fully-funded PhD opportunities at Heriot-Watt: I am accepting PhD students who are interested in working with me in my main research areas. Funding available, covers (international) tuition fees and living expenses. Useful link: PhD opportunities in Computer Science.

Research Interests

My research interests lie at the intersection of computer science, artificial intelligence, and game theory. I use formal and mathematical techniques to verify and reason about systems composed of multiple self-interested intelligent agents. In particular, I mainly work on the following topics:

  • Logic and game theory in theoretical computer science and foundations of AI.
  • Verification, design, and synthesis of equilibria in concurrent multi-agent systems.
  • Mathematical/computational logic (e.g., modal and temporal logics).
  • Model checking, automated synthesis, and formal verification.
  • Computational complexity of problems related to topics above.

I am the main developer of EVE (Equilibrium Verification Environment), a tool for rational verification. The tool can be used online from http://eve.cs.ox.ac.uk. I am always interested in improving EVE (e.g., faster techniques, new use cases, etc.) and welcome potential collaborations.

Supervision Interests

I am interested in supervising PhD/MSc/BSc students who want to work on (or related to) topics within my research interests (see Research Interests section above).

News

  • Aug 22: Joined Heriot-Watt University, Edinburgh, as an assistant professor.
  • Jan 22: Our research project Optimal Decision-Making in Probabilistic Multi-Agent Learning Environment has been granted for Australia-Germany Joint Research Cooperation Scheme funding by the German Academic Exchange Service (DAAD). (with Anthony W. Lin, and Julian Gutierrez and Frits de Nijs (Monash University)).
  • Mar 20: My DPhil/PhD thesis ā€œRational verification in multi-agent systemsā€ has been deposited in the Bodleian Library Oxford University Research Archive.
  • Dec 19: I passed my DPhil/PhD thesis viva voce. I thank my examiners Alessio Lomuscio and Luke Ong for valuable feedback.