Agostino Cortesi

Registered user since Tue 15 Sep 2015

Name:Agostino Cortesi

Agostino Cortesi received a PhD degree in Applied Mathematics and Informatics at the University of Padova, Italy, in 1992. After spending a post-doc at Brown University, in the US, he joined the Ca’Foscari University of Venice. Since 2002, he’s full professor of Computer Science. In recent past, he served as Dean of the Computer Science programme, as Department Chair, and as Vice-Rector of Ca’ Foscari University for quality assessment and institutional affairs. His main research interests concern programming languages theory, software engineering, and static analysis techniques, with particular emphasis on security applications. He published more than 150 papers in high level international journals and proceedings of international conferences. His h-index is 20 according to Scopus, and 28 according to Google Scholar. Agostino served several times as member (or chair) of program committees of international conferences (e.g., SAS, VMCAI, CSF, CISIM, ACM SAC) and he’s in the editorial boards of the journals “Computer Languages, Systems and Structures” and “Journal of Universal Computer Science”. Currently, he holds the chairs of “Software Engineering” and “Program Analysis and Verification” in the Computer Science programme at Ca’ Foscari, and the chair on “Computer Networks and Information Systems” in the Business Administration programme.

Affiliation:Università Ca' Foscari Venezia
Research interests:Static Analysis, Abstract Interpretation, Security, Data Bases


ECOOP 2023 Author of Flow Analysis for Detecting Non-Determinism in Blockchain within the Research Papers-track
SOAP 2022 Author of Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report within the SOAP 2022-track
VMCAI 2022 Author of Relational String Abstract Domains within the VMCAI 2022-track
Requirements Engineering 2021 Author of NFR-Aware Prioritization of Software Requirements within the Journal-First-track
Author of CARO: A Conflict Aware Requirement Ordering Tool for DevOps within the Posters and Tool Demos-track
SOAP 2021 Author of Static Analysis for Dummies: Experiencing LiSA within the SOAP 2021-track
VMCAI 2021 Author of Twinning automata and regular expressions for string static analysis within the VMCAI-track
SPIN 2019 Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track
InterAVT 2019 Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track
SPIoT 2019 Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track
SLE 2017 Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track
VMCAI 2017 Committee Member in Steering Committee
VMCAI Committee Member in Steering Committee