Research output per year
Research output per year
Dr
EH14 4AS
United Kingdom
Accepting PhD Students
PhD projects
Any topic within my research interests (see Research Interests below). If you have a potential project in mind, feel free to drop me an email to discuss further.
Research activity per year
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, Edinburgh. Before Heriot-Watt, I was a postdoctoral researcher at TU Kaiserslautern, 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. I also have experience in industry as a R&D software engineer at Samsung Electronics, Indonesia.
Fully-funded PhD opportunities at Heriot-Watt: I am currently accepting applications from PhD students who are interested in working with me in my main research areas. Funding is available to cover both international tuition fees and living expenses. For more information, please visit the PhD opportunities in Computer Science page. If you have a potential project in mind, feel free to drop me an email to discuss further. I look forward to hearing from you!
Other useful links:
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:
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.
I am interested in supervising PhD/MSc/BSc students who want to work on (or related to) the topics above. If you have a potential project in mind, feel free to drop me an email to discuss further.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review