VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Agostino Cortesi

Registered user since Tue 15 Sep 2015

Name:Agostino Cortesi
Bio:

Agostino (Tino) 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 100 papers in high level international journals and proceedings of international conferences. His h-index is 15 according to Scopus, and 23 according to Google Scholar. Tino 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”. He has held visiting positions at Ecole Normale Superieure (Paris), Ecole Polytechnique (Palaiseau, Paris), University of Illinois (Chicago), T.J.Watson Research Center (New York). 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

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile