Our People

Dr Antonio Di Stasio

Research Member of Common Room

Senior Research Associate

Department of Computer Science

I am a postdoc researcher (Senior Associate Researcher) at the Department of Computer Science, University of Oxford, working with Prof Giuseppe De Giacomo on his Advanced ERC project WhiteMech.

I completed my PhD in Mathematical and Computer Science at the University of Napoli “Federico II”, Napoli, Italy, in 2019, under the supervision of Prof Aniello Murano. During my doctoral studies, I was a visiting research scholar at Rice University, Houston, USA, under the supervision of Prof Moshe Vardi.

My research interests include the applications of Formal Methods in Artificial Intelligence, including Game Theory, Parity Games, Formal Aspects of System Specification, Verification, Synthesis, and Automated Planning.

Personal website: https://antoniodistasio.github.io/