Agostino Cortesi

Agostino Cortesi is a Full Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Informatics and Statistics. He serves as Rector's Delegate for Research Quality Assessment and Deputy Coordinator of the Scientific Committee for the Innovation Ecosystem Project. His academic career includes a PhD in Applied Mathematics and Informatics from the University of Padova (1992), a postdoctoral fellowship at Brown University, and visiting professor roles at institutions such as the University of Illinois and École Normale Supérieure Paris.

Research interests focus on software engineering, static analysis, security applications, and abstract interpretation. He has pioneered techniques for formal verification of software systems and explored cybersecurity in e-Government and robotics. His work spans over 200 publications in top journals and conferences (e.g., ACM TOPLAS, IEEE TSE, POPL, PLDI). Key contributions include advancements in abstract domains for behavioral property verification and security-oriented analysis frameworks.

He has held leadership roles including Vice-Rector at Ca' Foscari, Dean of Computer Science programs, and Chair of the Department of Computer Science. Cortesi coordinates EU Horizon 2020 projects (e.g., Families_Share €1.6M) and regional initiatives like CEVID (€360K). He founded Factors, a university spin-off focused on robotic systems verification, which won the 2020 Veneto SmartCup ICT Prize.

• Education: PhD in Applied Mathematics and Informatics (1992, University of Padova)
• Editorial Roles: Co-Editor-in-Chief of Springer’s 'Services and Business Process Reengineering', and member of editorial boards for 'Computer Languages' and others
• Grants: Over €3M in EU and regional funding for projects in cybersecurity, Industry 4.0, and digital innovation

Teaching includes courses on Software Correctness, Data Programming, and Computer Networks across Computer Science and Management programs. His research lab actively engages in industrial partnerships with Cisco, Leonardo, and AGID (Italy’s Digital Agency).