معرفی
Antonio Di Stasio is a Lecturer in the Department of Computer Science at City, St George's, University of London, and an Associate Member of the Department of Computer Science at the University of Oxford. He is also a Member of the Common Room at Kellogg College, Oxford. His research is centered in formal methods, particularly game theory, parity games, temporal logic, synthesis, verification, and automated planning.
Dr. Di Stasio earned his Ph.D. in Mathematical and Computer Science from the University of Napoli "Federico II" under the supervision of Prof. Aniello Murano. During his doctoral studies, he was a visiting research scholar at Rice University, working with Prof. Moshe Vardi. His postdoctoral experience includes a Senior Research Associate role at the University of Oxford on the Advanced ERC project WhiteMech with Prof. Giuseppe De Giacomo, and a postdoc at Sapienza University of Rome.
His research interests lie at the intersection of logic, games, and AI, with a strong focus on formal verification and synthesis. He has made significant contributions to LTLf synthesis, parity games, and reactive systems. His recent work explores environment specifications, finite-trace logics, and compositional synthesis techniques.
The analysis of his recent publications reveals a consistent focus on temporal logic synthesis, especially under finite traces (LTLf) and environment constraints. His work bridges theoretical foundations with practical implementation, as seen in algorithmic improvements for parity games and real-world applications such as attack graphs in cybersecurity. The recurring themes across his articles include formal specification, reactive synthesis, and the application of game-theoretic models to planning and verification.
- Service Chair, Highlights of Reasoning about Actions, Planning and Reactive Synthesis (ECAI 2024)
- Chair, On the Effectiveness of Temporal Logics on Finite Traces in AI (AAAI 2023 Spring Symposium)
- PC Member: AAMAS 2025, VMCAI 2025, ECAI 2024, KR 2023-2024, IJCAI 2023-24, AAAI 2021, ECAI 2020
- Journal Reviewer: JAIR, ACM Computing Surveys, Fundamenta Informaticae
Dr. Di Stasio has taught courses such as Foundations of Self-Programming Agents at Oxford and delivered PhD-level courses on Game-Theoretic Approaches to Planning and Synthesis at Sapienza University and ESSAI. He is affiliated with the Research Centre for Machine Learning at City, St George's, where he contributes to advancing formal methods in AI. His future work likely continues in the direction of scalable synthesis, practical verification tools, and applications of formal methods in security and autonomous systems.
