Skip to main content

Antonio Di Stasio

Personal photo - Antonio Di Stasio

Antonio Di Stasio

Senior Research Associate


Wolfson Building, Parks Road, Oxford OX1 3QD


I am a PostDoc researcher at the Department of Computer Science, University of Oxford, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech.

I obtained my Ph.D. in Mathematical and Computer Science at the University of Napoli "Federico II" (Italy) under the supervision of Prof. Aniello Murano. During my Ph.D., I had been visiting research scholar at Rice University under the supervision of Prof. Moshe Vardi

My research topics include Game Theory, Parity Games, Formal Aspects of System Specification, Verification, Synthesis, and Automated Planning.