Antonio Di Stasio

Antonio Di Stasio is a Lecturer (Assistant Professor) at the Department of Computer Science, City, University of London, and a member of the Research Centre for Machine Learning. He holds an Associate Membership at the University of Oxford's Department of Computer Science and is part of Kellogg College's Common Room. His academic journey includes a Ph.D. in Mathematical and Computer Science from the University of Napoli 'Federico II' (Italy), supervised by Prof. Aniello Murano, and a visiting research period at Rice University under Prof. Moshe Vardi.

His research focuses on Game Theory, Parity Games, Formal Verification, System Specification, Synthesis, and Automated Planning. He has contributed to advancements in temporal logic synthesis and finite-trace analysis, with notable work on LTLf specifications and environment-driven synthesis.

Di Stasio has held roles such as Chair for Highlights of Reasoning at ECAI 2024 and service on program committees for AAMAS, AAAI, IJCAI, and others. He has taught courses on self-programming agents and game-theoretic approaches to planning at the University of Oxford and Sapienza University of Rome.

His publications span venues like FM, IJCAI, ECAI, and KR, addressing topics ranging from parity game solving algorithms to compositional safety synthesis. His work emphasizes practical improvements in algorithmic efficiency and theoretical foundations of reactive systems.