Antonio Di Stasio

Antonio Di Stasio

Associate Member

E: antonio.distasio@cs.ox.ac.uk

Themes:

• Data, Knowledge and Action

See Also:

• Personal Website

Biography

I’m Lecturer (Assistant Professor) at the Department of Computer Science, City, University of London, and member of the Research Centre for Machine Learning. Prior to joining 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.

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.