Michele Pasqua
Summary
Michele Pasqua is an Assistant Professor 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.
He works actively in the software engineering and programming languages communities, being (co)author of more than 30 publications in international scientific journals and conference proceedings with peer review and regularly serving on international conferences and workshops program committees.
Cryptocurrency Distributed & Parallel Computing Internet of Things Programming Languages Security & Privacy Software Engineering Theory & Formal Methods