CORTESI Agostino

Summary (in english)

I was born in Padova on January 11, 1963. After graduating in Mathematics in 1986, I got a PhD in Applied Mathematics and Informatics from the University of Padova. I spent a post-doc at Brown University in 1992/93. In 1994, I got a position as Assistant Professor at Ca' Foscari University in Venice. In 1998 I was promoted to Associate Professor, and in 2002 I was promoted to Full Professor. In the recent past, I served as Dean of the Computer Science programme, and as Department Chair. I also served for 8 years as Vice-Rector of Ca' Foscari University, taking care of quality assessment and institutional affairs.
My main research interests concern programming languages theory and static analysis techniques, with particular emphasis on security applications. I'm also interested into investigating the impact of ICT into different social and economic fields (from Tourism to E-Government to Social Sciences).
I published more than 140 papers in high level international journals and proceedings of international conferences. My current h-index is 19 according to Scopus, and 26 according to Google Scholar.
I served as member of several program committees for international conferences (e.g., SAS, VMCAI, CSF) and of editorial boards of scientific journals (Computer Languages, Systems and Structures, Journal of Universal Computer Science).
Currently, I hold the chairs of "Software Engineering" and "Software Correctness, Security and Reliability" in the Computer Science programme at Ca' Foscari, the chair of "Computer Networks and Information Systems"  in the master programme on Management, and the chair of "Data Programming" in the master programme on Governance of Public Bodies. 
I am the Coordinator of the EU Horizon2020 "Families_Share" Project, and served as site leader of the Horizon2020 "EQUAL-IST Gender equality in Information Science and Technology" Project and of the COST project "Eutypes". I am the leader of the MAE Italy-India project 2017-19 "Formal Specification for Secured Software System".
I also served as expert (as CTU and as CTP) for some civil and penal cases in Court.

Summary (in italian)

Tino Cortesi (1963) è professore ordinario di Informatica (INF/01) presso l'Università Ca' Foscari di Venezia dal 2002. Ha una laurea in Matematica e un dottorato di ricerca in Matematica Computazionale e Informatica Matematica conseguiti presso l'Università degli Studi di Padova. I suoi principali interessi di ricerca sono nell'ambito dell'Ingegneria del Software e dei Linguaggi di Programmazione, in particolare si concentrano sullo sviluppo di tecniche di Analisi Statica di codice sorgente. Segue inoltre progetti di trasferimento tecnologico in ambito e-government e progetti interdisciplinari di social innovation. E' stato visiting professor in diverse università e centri di ricerca (University of Illinois, Ecole Normale Supérieure, Ecole Polytechnique, T.J.Watson IBM Research Center, University of Calcutta). Partecipa, anche con ruolo di coordinatore, ad alcuni progetti europei, ed è coordinatore di un progetto di cooperazione scientifica MIUR-MAE Italia-India.
Nell'Università Ca' Foscari ha svolto attività di servizio come coordinatore CampusOne, come direttore del centro di telecomunicazioni d'Ateneo, come presidente di corso di laurea in Informatica, come direttore del Dipartimento di Informatica, come direttore della Scuola interdipartimentale in Scienze Sociali e Politiche Pubbliche, e per otto anni è stato prorettore dell'Ateneo, con deleghe alla valutazione, all'innovazione e ai rapporti istituzionali.  
Nel campo della valutazione,  è esperto disciplinare ANVUR per l'Area 1 ed Esperto di Sistema; ha partecipato ad alcune CEV per l'accreditamento iniziale di corsi di laurea e ha svolto visite on-site di accreditamento presso alcune università italiane e straniere. E' coordinatore dell'Organismo Indipendente di Valutazione del Consiglio Regionale del Veneto.

Formazione e carriera accademica

  • 2002-... : Professore ordinario di Informatica, Università Ca' Foscari Venezia.
  • 1998-02: Professore associato, Università Ca' Foscari Venezia.
  • 1994-98: Ricercatore, Università Ca' Foscari Venezia
  • 1992-93: Post-doc research associate, Brown University, Providence R.I., USA.
  • 1991-92: Borsa di Studio Senior dell'Istituto Nazionale di Alta Matematica "F.Severi" (INDAM).
  • 1989-91: Dottorato di Ricerca in Matematica Applicata e Informatica Matematica, Università di Padova.
  • 1987-88: Servizio civile, Caritas, Casa Studentesca S.Fosca, Venezia
  • 1986: Laurea in Matematica, Università di Padova.
  • 1982: Maturita' Classica, Liceo Ginnasio "A.Pigafetta", Vicenza
  • 1963: Nasce a Padova, l'11 gennaio

Incarichi e Servizi 

  • 2019 - ...: Coordinatore del Corso di Dottorato in Informatica, Univ. Ca' Foscari 
  • 2019 - ...: Membro del Consiglio Direttivo del CINI, Consorzio Interuniversitario Nazionale per l'Informatica
  • 2016 - 18: Delegato del Rettore per i rapporti con la Regione Veneto e la Fondazione Univeneto (delega del Rettore M. Bugliesi)
  • 2015 - ...: Membro (dal 2017 Coordinatore) del Data Monitoring Board, Univ. Ca' Foscari 
  • 2014 - 19: Vice-Direttore del Dipartimento di Scienze Ambientali, Informatica e Statistica, Univ. Ca'Foscari
  • 2014 - 16: Direttore della Scuola Interdipartimentale di Servizi Sociali e Politiche Pubbliche, Univ. Ca'Foscari
  • 2013 - ...: Membro del Consiglio di Amministrazione (dal 2017 Presidente e legale rappresentante) del CISET - Centro Internazionale di Studi sull'Economia Turistica
  • 2012 - 15: Membro del Comitato di Indirizzo dell'IIS "F. Algarotti", Venezia
  • 2012 - 15: Membro della Commissione Tecnica Brevetti, Univ. Ca' Foscari
  • 2011 - 14: Prorettore ai Rapporti con la Regione e le istituzioni politiche e imprenditoriali, Univ. Ca' Foscari (delega del Rettore C.Carraro)
  • 2010 - 17: Membro del Comitato di Indirizzo e del Comitato Scientifico della Fondazione Istituto Tecnico Superiore per il Turismo, Jesolo
  • 2009 - 11: Prorettore alla Valutazione, Univ. Ca' Foscari (delega del Rettore C.carraro)
  • 2008 - 09: Coordinatore del Master universitario in "Informatica per la Comunicazione",  Univ. Ca' Foscari
  • 2007 - 14: Membro del Comitato di Sorveglianza dei progetti FSE Regione Veneto - Rappresentante CRUV
  • 2007 - 10: Membro del Comitato Nazionale ICT per il VII programma quadro - Rappresentante CRUI
  • 2006 - 09: Prorettore alle Politiche per la Valutazione e l'Innovazione,  Univ. Ca' Foscari (delega del Rettore P.G.Ghetti)
  • 2006 - 09: Direttore del Dipartimento di Informatica,  Univ. Ca' Foscari Venezia.
  • 2006 - 09: Membro del Consiglio Direttivo del CINI, Consorzio Interuniversitario Nazionale per l'Informatica
  • 2006 - 08: Membro dell'Advisory Board di Euro-Inf (European Accreditation of Informatics Programmes)
  • 2004 - 06: Presidente del CTA, Centro di Telecomunicazioni di Ateneo,  Univ. Ca' Foscari
  • 2003 - 07: Vicepresidente del GRIN, Associazione italiana dei docenti universitari di Informatica e Presidente della Commissione Didattica Nazionale del GRIN
  • 2003 - 04: Coordinatore di Ateneo del progetto CampusOne,  Univ. Ca' Foscari (delega del Rettore M.Rispoli)
  • 2001 - 07: Vicepresidente del Collegio Didattico del Corso di Laurea Magistrale interfacolta' in Informatica per le Discipline Umanistiche,  Univ. Ca' Foscari
  • 2001 - 04: Presidente del Consiglio di Corso di Laurea in Informatica, Univ. Ca' Foscari.

Ricerca

  • Area di ricerca: linguaggi di programmazione, metodologie di analisi statica di programmi, ingegneria del software
  • Membro dello steering committee della conferenza internazionale "Verification, Model Checking and Abstract Interpretation"
  • Membro dell'editorial board delle riviste internazionali "Computer Languages",  "Journal of Universal Computer Science", e della "Rivista di Informatica Umanistica".
  • Membro dei comitati di programma delle seguenti conferenze internazionali: SAS: Static Analysis Symposium (1997 Paris, 1998 Pisa, 1999 Venice, 2007 Copenhagen), VMCAI: Verification, Model Checking, and Abstract Interpretation (2001 Venice, 2002 New York, 2003 Venice, 2004 Paris, 2008 San Francisco, 2013 Rome, 2014 San Diego, 2015 Mumbai), CSFW Computer Security Foundations (Asilomar 2004), ACM SAC DTTA (Gyeonju 2014, Valencia 2015, Pisa 2016, Marrakesh 2017), ACM Informatics Education Europe (Thessaloniki 2007, Venice 2008, Freiburg 2009), TGC Trustworthy Global Computing (Barcelona 2008), CISIM (Crakow 2010, Kolkata 2011, Venice 2012, Krakow 2013, HoChiMin 2014, Warsaw 2015, Vilunius 2016, Bialystok 2017, Olomouc 2018, Belgrado 2019).
  • Guest editor di special issues delle seguenti riviste internazionali: "Science of Computer Programming", "Computer Languages", e "Software Tools for Technology Transfer".
  • Coordinatore del progetto Horizon2020 Families_Share
  • Coordinatore dell'unità di Venezia del progetto Horizon2020 EQUAL-IST.
  • Responsabile di unità nel rogetto COST "Eutypes"
  • Coordinatore di un progetto di collaborazione scientifica MIUR-MAE Italia-India 2017-2020.
  • Coordinatore del Laboratorio CEVID (Centro Veneto di Innovazione Digitale) in collaborazione con la Regione Veneto
  • Responsabile di Unita' di Ricerca: PRIN 1999, PRIN 2000, FIRB 2001, PRIN 2004, RSA2010.
  • Visiting professor all'Ecole Polytechnique (Palaiseau 2004), alla University of Illinois (Chicago 2005), all'Ecole Normale Superieure (Paris 2008), al T.J.Watson IBM Research Center (New York 2014), alla University of Calcutta (Kolkata 2015)
  • Membro di PhD commitees presso: DTU (Copenhagen), Ecole Polytechnique (Paris), Universite' de Namur (Belgio), Universite' de Louvain la Neuve (Belgio), Ecole Normale Superieure Paris (Francia), Kent University, Canterbury (UK), University of Calcutta (India), University of Tilburg (Olanda), National Institute of Technology Durgapur (India).

Didattica

  • Ingegneria del Software (laurea triennale in Informatica)
  • Software Correctness, Security and Reliability (laurea magistrale in Informatica)
  • Data Programming (laurea magistrale in Governance delle Amministrazioni Pubbliche)
  • Reti e Sistemi Informativi (laurea magistrale in Economia Aziendale e in Governance delle Amministrazioni Pubbliche)
  • Sistemi Informativi per il Turismo (Master in Economia del Turismo, Oriago)

Trasferimento Tecnologico

  • dal 2013 al 2017: Membro del Comitato Strategico di ISACA Venice Chapter
  • dal 2008 al 2013: Membro del Consiglio di Amministrazione di Nesting scarl, società di ingegneria dell'innovazione con sede a Venezia
  • dal 2009 al 2012: Membro del Nucleo di Alta Consulenza Scientifica del Consiglio Regionale del Veneto per il Sistema Informativo del Consiglio Regionale
  • Responsabile di progetti di ricerca e di trasferimento tecnologico con Regione Veneto, Treviso Tecnologia, Elitec srl, Kairos srl, Evolvenda srl.

Valutazione

  • Inserito nel 2018 nella lista dei 15 nominativi selezionati per il Consiglio Direttivo dell'ANVUR 
  • Iscritto all'Elenco nazionale degli organismi indipendenti di valutazione della performance - Fascia 2 (da febbraio 2017)
  • Dal 2012 al 2019 membro (e nel secondo triennio Coordinatore) dell'Organismo Indipendente di Valutazione della Performance (OIV) del Consiglio Regionale del Veneto.
  • Dal 2013 nell'Albo degli Esperti Disciplinari Area CUN 01 (Matematica e Informatica) dell'ANVUR e dal 2017 nell'Albo degli Esperti di Sistema.  Ha partecipato come esperto disciplinare ed esperto di sistema (anche nel ruolo di Presidente di CEV) alle procedure di accreditamento iniziale di nuovi corsi di laurea e alle visite di accreditamento periodico di alcuni atenei (L'Aquila, Ferrara, Trento, Foggia, Bari, Mediterranea di Reggio Calabria, Foro Italico).
  • Dal 2012 nell'Albo Esperti Ricerca Industriale - D.Lgs. 297/199 - Direzione Generale per il Coordinamento e lo Sviluppo della Ricerca, Ministero dell'Istruzione, Università e Ricerca. Ho presieduto la commissione finale di accertamento di un progetto FIRST.
  • Inserito nel 2011 nella lista dei 15 nominativi selezionati per il Consiglio Direttivo dell'ANVUR 
  • Dal 2011 è Expert Pool Member della European Quality Assurance Network for Informatics Education (EQANIE)
  • dal 2010 al 2011: Responsabile del progetto FSE RV Direz. Lavoro sulla Certificazione delle Competenze per le Lauree di primo livello
  • dal 2007 al 2008: Membro di peer-review teams in Islanda e Bosnia per l'accreditamento di corsi di laurea universitari a livello europeo (progetto Tempus)
  • dal 2006 al 2008: Membro dell'Advisory Board del progetto europeo Euro-Inf (European Accreditation of Informatics Programmes)
  • Dal 2003 al 2004: Coordinatore di Ateneo del progetto CRUI Campus-One per la valutazione dei percorsi universitari