Antonio Di Stasio
Antonio Di Stasio
Lecturer, Department of Computer Science, City University
- Joined July 2019
Names
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
Expertise
Formal Methods, Temporal Logic, Recative Synthesis
2016 – 2024