Michele is Assistant Professor (tenure-track) at the Department of Computer Science of the University of Verona, Italy.
His main research interests include abstract interpretation, program verification, static analysis, software testing, theoretical foundations of programming languages and software engineering, language-based security, and distributed systems design.
He regularly serves as PC member of reputed software engineering and programming languages conferences (e.g., ASE, ISSTA, SAS, ICSE, SCAM), and reviewer for top-tier computer science journal (e.g., TOSEM, FSE, TIFS, JSS, EMSE, TOPS). He is an editorial member of PeerJ Computer Science since March 2024.
Personal web page: michelepasqua.github.io
Contact: michele[dot]pasqua[at]univr[dot]it