معرفی
Michele Pasqua is a Tenure-Track Assistant Professor in Computer Science at the University of Verona. His research focuses on software engineering, static analysis, and abstract interpretation, with active participation in conferences like ICSE, ASE, and SAS. He maintains a personal GitHub repository (michelepasqua.github.io) and engages in academic event organization.
Research interests include automated software engineering, security testing, and formal methods for code verification. Conference involvement spans roles as program committee member (e.g., ICSE 2024, ASE 2025) and organizer (e.g., Lipari Summer School on Abstract Interpretation). No explicit awards or educational details are provided in the scraped text.
Recent publication activity includes a 2024 paper (ICSE24) related to software engineering verification techniques, though full details require accessing the associated PDF or BibTeX files in his repository.
