Antonio Di Stasio's picture.

I’m Lecturer (Assistant Professor) at the Department of Computer Science, City St George’s, University of London, and member of the Research Centre for Machine Learning. Additionally, I am an Associate Member of the Department of Computer Science, University of Oxford. Prior to joing City, I was Senior Research Associate at the Department of Computer Science, University of Oxford, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech, and Research Member of Common Room at Kellogg College.
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.

Email: antonio.di-stasio AT city.ac.uk
Room A309I, College Building [A]
Northampton Square, London EC1V 0HB

github icon linkedin icon dblp icon google scholar icon orcid icon

Research

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

Service

Teaching

Publications

The papers posted here consist of preliminary versions of papers that are about to be published or have been published in journals or conference proceedings. For final versions, please see cited journals or proceedings.

Last update on: October 12, 2022