PostDoc researcher at the Department of Computer Science, University of Oxford

Antonio Di Stasio is a PostDoc researcher at the Department of Computer Science, University of Oxford, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech. His research topics include Game Theory, Parity Games, Formal Aspects of System Specification, Verification, Synthesis, and Automated Planning.