I’m an assistant professor 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.
News
- Aug 22: Moved to Heriot-Watt University, Edinburgh.
- 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.
Research Interests
My current research is in the use of formal techniques for verifying and reasoning about systems composed of multiple self-interested intelligent agents. It combines approaches from formal verification, logic, automata theory, and game theory. The work is documented on EVE (Equilibrium Verification Environment) Web.
Publications
2022
- On the Complexity of Rational Verification. In Annals of Mathematics and Artificial Intelligence, to appear. (Joint work with Julian Gutierrez, Giuseppe Perelli, and Mike Wooldridge). DOI PDF
2021
- Rational Verification for Probabilistic Systems. In Proceedings of The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), November 2021. (Joint work with Julian Gutierrez, Lewis Hammond, Anthony W. Lin, and Michael Wooldridge). DOI PDF Video
- Rational Verification: Game-Theoretic Verification of Multi-Agent Systems. In Applied Intelligence, August 2021. (Joint work with Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Giuseppe Perelli, Thomas Steeples, and Michael Wooldridge). DOI PDF
2020
- Parameterized Synthesis with Safety Properties. In Proceedings of The 18th Asian Symposium on Programming Languages and Systems (APLAS), November 2020. (Joint work with Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, and Daniel Neider). DOI PDF
- Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. In Artificial Intelligence, 2020. (Joint work with Julian Gutierrez, Giuseppe Perelli, and Mike Wooldridge). DOI PDF
2019
- Equilibrium Design for Concurrent Games. In Proceedings of the 30th International Conference on Concurrency Theory (CONCUR-2019), Amsterdam, the Netherlands, August 2019. (Joint work with Julian Gutierrez, Giuseppe Perelli, and Mike Wooldridge). DOI PDF
- On Computational Tractability for Rational Verification. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-2019), Macao, China, August 2019. (Joint work with Julian Gutierrez, Giuseppe Perelli, and Mike Wooldridge). DOI PDF
2018
- EVE: A Tool for Temporal Equilibrium Analysis. In Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA-2018), Los Angeles, October 2018. (Joint work with Julian Gutierrez, Giuseppe Perelli, and Mike Wooldridge). DOI PDF
Talks & Presentations
- Examining Games and a Way to Repair Them. Invited talk at WhiteMech Group Meetings, Department of Computer, Control, and Management Engineering, Sapienza University of Rome, 4th November 2021. Slides
- Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. Presented at the journal track of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 23rd August 2021. Videos Slides
- Logic and Games. Guest lecture in Logic & Semantics of Programming Languages course (Winter Semester 2020), Department of Computer Science, TU Kaiserslautern. Slides
- Equilibrium Design for Concurrent Games. Presented at 8th International Workshop on Strategic Reasoning (Satellite Workshop of ECAI 2020), September 2020. Slides
- Verifying and Designing Equilibria in Multiagent Systems. Presented at 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) (co-located with CONCUR’19), Amsterdam, The Netherlands, August 2019. Slides
- Some Approaches to Rational Verification in Multiagent Systems. Presented at 1st International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2017) (co-located with CONCUR’17), Berlin, September 2017. Slides