Michele Pasqua (Preferred)
Michele Pasqua
Assistant Professor, Computer Science, University of Verona
Joined
June 2025
Names
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
Publications
No publications