Agostino Cortesi

Agostino Cortesi is a Full Professor of Computer Science at Ca' Foscari University of Venice, where he has served since 2002. He holds significant administrative roles including Rector's Delegate for Research Quality Evaluation and Deputy Coordinator of the Scientific Committee of the Temporary Innovation Ecosystem Project Center. His academic home is the Department of Environmental Sciences, Computer Science and Statistics.

Dr. Cortesi received his PhD in Applied Mathematics and Informatics from the University of Padova in 1992, followed by a post-doctoral position at Brown University. His academic career has included leadership positions as Dean of the Computer Science programme, Department Chair, and Vice-Rector of Ca' Foscari University for quality assessment and institutional affairs.

His research focuses on programming languages theory, software engineering, and static analysis techniques with particular emphasis on security applications. His work spans abstract interpretation, information flow analysis, string analysis for program verification, and security applications in blockchain and IoT systems. He has published extensively with over 150 papers in high-level international journals and conference proceedings, with an h-index of 22 according to Scopus and 31 according to Google Scholar.

His recent publications show a consistent focus on abstract interpretation techniques applied to string analysis, security verification for blockchain and IoT systems, and tools for static analysis. His work bridges theoretical foundations with practical applications, particularly in security-critical domains.

Dr. Cortesi serves on the editorial boards of Computer Languages, Systems and Structures and Journal of Universal Computer Science, and has participated in numerous program committees for international conferences including SAS, VMCAI, CSF, CISIM, and ACM SAC.

He teaches several advanced courses including Software Correctness, Security, and Reliability; Data Programming; Information Networks and Systems; and Software Engineering across both Computer Science and Business Administration programs. His research is supported by multiple funded projects from the European Union, Italian Ministry of Education, Veneto Region, and industry partners.