Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
ANTONIO DI STASIO
Lecturer (Assistant Professor)
United KingdomResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Antonio Di Stasio is a Lecturer (Assistant Professor) at City St George's University of London, UK. His research areas focus on LTL synthesis under environment specifications, finite-trace and generalized-reactivity specifications in temporal synthesis, and improving parity games in practice. He is dedicated to advancing knowledge in these fields through his recent scholarly articles.
Articles (4)
Year:
2025
Year:
2025
Year:
2022
Year:
2021
Collaborators (7)
Shufang Zhu
Lecturer
University of Oxford
Milda Zizyte
Assistant Teaching Professor
Brown University
Marco Montali
Full Professor
Free University of Bozen-Bolzano
Shriram Krishnamurthi
Professor
Brown University
Giuseppe De Giacomo
Full Professor
University of Oxford
Ben Greenman
Assistant Professor
University of Utah
Tim Nelson
Brown University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.