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)

Career & Education History

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

Advisors, Relations & Conflicts

Postdoc Advisor
20192024
 

Expertise

Formal Methods, Temporal Logic, Recative Synthesis
20162024