Antonio Di Stasio

Antonio Di Stasio
Senior Research Associate
E: antonio.distasio@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
Biography
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.
Events
- Co-Chair: On the Effectiveness of Temporal Logics on Finite Traces in AI part of the AAAI 2023 Spring Symposium Series.