CORTESI Agostino

Qualifica Professore Ordinario
Telefono 041 234 8450
E-mail cortesi@unive.it
egov@unive.it - CORTESI Agostino
Web www.unive.it/persone/cortesi (scheda personale)
 http://www.dsi.unive.it/~cortesi
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: http://www.unive.it/dais
Sede: Campus scientifico via Torino
Research team Public governance, welfare and social innovation
Research team Economics and management of innovation, and entrepreneurship
Incarichi Componente del Data Monitoring Board
Delegato del rettore ai Rapporti con la Regione Veneto e con la Fondazione Univeneto
Membro della Giunta della Scuola in Servizio Sociale e Politiche Pubbliche

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 ICtT into different social and economic fields (from Tourism to E-Government to Social Sciences).
I published more than 100 papers in high level international journals and proceedings of international conferences. My current h-index is 17 according to Scopus, and 25 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 "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. 

I am the Coordinator of the EU Horizon2020 COST "Families_Share" Project, and I am the research unit leader of the Horizon2020 "EQUAL-IST Gender equality in Information Science and Technology" Project.

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 di dipartimento di Informatica, come direttore di Scuola interdipartimentale in Scienze Sociali e Politiche Pubbliche, e per otto anni è stato prorettore (con deleghe alla valutazione e all'innovazione, e ai rapporti istituzionali). Attualmente è delegato del Rettore ai rapporti con la Regione Veneto.

Nel campo della valutazione, per l'ANVUR è esperto disciplinare 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 diverse 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.
  • 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 

  • 2016 - ...: Delegato del Rettore per i rapporti con la Regione Veneto e la Fondazione Univeneto
  • 2015 - ...: Membro (dal 2017 Coordinatore) del Data Monitoring Board, Univ. Ca' Foscari 
  • 2014 - ...: Vicedirettore del Dipartimento di Scienze Ambientali, Informatica e Statistica, Univ. Ca'Foscari
  • 2013 - ...: Membro del Consiglio di Amministrazione (dal 2017 Presidente e legale rappresentante) del CISET - Centro Internazionale di Studi sull'Economia Turistica
  • 2010 - ...: Membro del Comitato di Indirizzo e del Comitato Scientifico della Fondazione Istituto Tecnico Superiore per il Turismo, Jesolo
  • 2014 - 16: Direttore della Scuola Interdipartimentale di Servizi Sociali e Politiche Pubbliche, Univ. Ca'Foscari
  • 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
  • 2009 - 11: Prorettore alla Valutazione, 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)
  • 2008 - 09: Coordinatore del Master universitario in "Informatica per la Comunicazione",  Univ. Ca' Foscari
  • 2006 - 09: Prorettore alle Politiche per la Valutazione e l'Innovazione,  Univ. Ca' Foscari.
  • 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)
  • 2003 - 07: Vicepresidente del GRIN, Associazione italiana dei docenti universitari di Informatica e Presidente della Commissione Didattica Nazionale del GRIN
  • 2001 - 07: Vicepresidente del Collegio Didattico del Corso di Laurea Magistrale interfacolta' in Informatica per le Discipline Umanistiche,  Univ. Ca' Foscari
  • 2004 - 06: Presidente del CTA, Centro di Telecomunicazioni di Ateneo,  Univ. Ca' Foscari
  • 2003 - 04: Coordinatore di Ateneo del progetto CampusOne,  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, Systems and Structures",  "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).
  • Guest editor di special issues delle seguenti riviste internazionali: "Science of Computer Programming", "Computer Languages", e "Software Tools for Technology Transfer".
  • Coordinatore dell'unità di Venezia del progetto Horizon2020 EQUAL-IST.
  • 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), Kent University (Canterbury), University of Calcutta (India), University of Tilburg (The Netherland).

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)
  • Sistemi Informativi per il Turismo (Master in Economia del Turismo, Oriago)

Trasferimento Tecnologico

  • dal 2013: 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

  • Dal 2012 è membro (dal 2017 Coordinatore) dell'Organismo Indipendente di Valutazione della Performance (OIV) del Consiglio Regionale del Veneto.
  • Dal 2017 nell'Albo degli Esperti di Sistema dell'ANVUR.
  • Dal 2013 nell'Albo degli Esperti Disciplinari Area CUN 01 (Matematica e Informatica) dell'ANVUR. Ha partecipato come esperto disciplinare alla visita di accreditamento periodico di alcuni atenei e ha coordinato CEV per l'accreditamento iniziale di corsi di laurea.
  • 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 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

 

Le informazioni riportate sono state caricate sul sito dell'Università Ca' Foscari Venezia direttamente dall'utente a cui si riferisce la pagina. La correttezza e veridicità delle informazioni pubblicate sono di esclusiva responsabilità del singolo utente.