Michele Pasqua

Michele Pasqua is a Tenure-Track Assistant Professor in the Department of Computer Science at the University of Verona, Italy, where he completed his entire academic training. His career demonstrates deep institutional continuity at this Italian university.

His educational pathway includes:

• PhD in Computer Science (2019), University of Verona
• MSc in Computer Science and Engineering with Security specialization (2015), University of Verona
• BSc in Computer Science (2013), University of Verona

Pasqua's research bridges theoretical formal methods and practical security applications. He pioneered abstract interpretation techniques for hyperproperties verification in his doctoral work, later expanding to REST API security testing through novel approaches combining deep reinforcement learning and natural language processing. His scholarship consistently addresses critical vulnerabilities in emerging technologies like blockchain smart contracts and web services, demonstrating both theoretical rigor and practical impact in software security.

Analysis of his publication timeline reveals a strategic evolution from foundational formal methods (2020-2023) toward empirical security testing frameworks (2023-2025), with increasing emphasis on tool development and evaluation infrastructure for REST API security. This trajectory shows growing industry relevance while maintaining strong theoretical underpinnings in program analysis.

No scientific awards are documented in the available materials. His advising activities and grant funding remain unspecified, though his leadership roles in workshops like NSAD and Lipari Summer School suggest active research group supervision. Similarly, no dedicated laboratory facilities are mentioned in the provided texts.