Antonio Di Stasio

Lecturer, Department of Computer Science, City University
Joined
July 2019

Names

Antonio Di Stasio

Emails

****@cs.ox.ac.uk (Confirmed)
, 
****@city.ac.uk (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Lecturer
Department of Computer Science, City University (city.ac.uk)
2024 – Present
Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2023 – 2024

Advisors, Relations & Conflicts

Postdoc Advisor
Giuseppe De Giacomo
2019 – 2024
PhD Advisor
Aniello Murano
2016 – 2019

Expertise

Knowledge Representation
2019 – Present
Formal Methods
, 
Temporal Logic
, 
Recative Synthesis
2016 – Present

Publications

Co-Authors