Michele Pasqua

Assistant Professor, Computer Science, University of Verona

  • Joined June 2025

Names

Michele Pasqua (Preferred)

Emails

****@univr.it (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Computer Science, University of Verona (univr.it)
2024 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
Isabella Mastroeni
2015 – 2018
 

Expertise

software testing, REST APIs, smart contracts
2022 – Present
 
IoT, distributed systems design, bisimulations
2020 – Present
 
static analysis, program verification, abstract interpretation
2017 – Present