Agostino CORTESI

Qualifica
Professore Ordinario
Incarichi
Delegato della Retrice alla Valutazione della Qualità della Ricerca
Telefono
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
SSD
INFORMATICA [INF/01]
Sito 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: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B04 (edificio Zeta B)
Struttura
Centro temporaneo Progetto Ecosistema dell'Innovazione
Research Institute
Research Institute for Social Innovation
Research Institute
Research Institute for Complexity
Research Institute
Research Institute for Innovation Management

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
INFORMATICA [INF/01]
Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca
Internazionale: Europa, America Settentrionale
Lingue conosciute
Inglese (scritto: avanzato parlato: avanzato)
francese (scritto: intermedio parlato: avanzato)
Partecipazione a comitati editoriali di riviste/collane scientifiche
Computer Languages, Systems and Structures, Elsevier - Member of the Editorial Board & Editor of Special Issues

Journal of Universal Computer Science - Member of the Editorial Board;

Informatica Umanistica – Member of the Editorial Board.

Scienza e Società (Edizioni Ca' Foscari) - Chair of the Editorial Board
Partecipazione come referees di progetti di ricerca nazionali ed internazionali
Revisore progetti MIUR: PRIN, FIRB Futuro in Ricerca;

Revisore progetti Graduate Programme – Netherlands Organization for Scientific Research (NWO);

Revisore progetti FCT, I.P. - Fundação para a Ciência e Tecnologia, Portogallo.

Revisore progetti Belgian Research Council;

Revisore Progetti Università Italo-Francese (Bando Vinci)

Revisore di progetti dell'Università degli Studi di Padova e del'Università degli Studi di Verona

Membro della Commissione tecnico-scientifica per la valutazione d'idoneita' delle proposte progettuali a valere sul POR CRO - parte Fesr 2007-2013 - Bando Azione 1.1.3 - Misura I.

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).

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.
Aree e linee di ricerca
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
Strumenti informatici a supporto e-governement
Parole chiave:
Computer science, Software technology
Codice ATECO:
[62.02] - consulenza nel settore delle tecnologie dell’informatica
Tecniche di Interpretazione Astratta per la verifica automatica di programmi.
Parole chiave:
Computer science, Algorithms, Software technology
Codice ATECO:
[62] - produzione di software, consulenza informatica e attività connesse
Ingegneria del Software: analisi, progettazione e verifica di sistemi software
Parole chiave:
Computer science, Software technology
Codice ATECO:
[62] - produzione di software, consulenza informatica e attività connesse
Information Systems
SSD:
INF/01
Progettazione di Sistemi Software per l'e-Government
SSD:
INF/01
Tecniche Formali per la Sicurezza
SSD:
INF/01
Tecniche di Analisi e Verifica dei Programmi
SSD:
INF/01
ADMIN4D: ADditive Manifacturing and INdustry 4.0 as innovation Driver
Ente finanziatore:
Regione Veneto
Tipologia:
POR FSE (2014-2020)
Ruolo nel progetto:
NS
Data inizio:
Anno: 2017 Durata mesi: 36
Altri membri del gruppo di ricerca:
Claudio SILVESTRI
ADditive Manifacturing and INdustry 4.0 as innovation Driver (ADMIN4D)
Ente finanziatore:
POR FESR
Tipologia:
POR FESR (2014-2020)
Ruolo nel progetto:
NS
Data inizio:
Anno: 2017 Durata mesi: 36
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Affiancamento per la ricerca e l’analisi dei sistema software per il monitoraggio dell’erogazione delle Utilities in ambito portuale - 2010
Ente finanziatore:
Autorità portuale di Venezia
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 9
Analisi fabbisogni innovativi del territorio - 2010
Ente finanziatore:
Nesting scarl
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 1
CEVID 2016
Ente finanziatore:
Regione del Veneto - Direzione ICT e Agenda Digitale
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Sito di progetto:
cevid.unive,it
Data inizio:
Anno: 2016 Durata mesi: 36
Altri membri del gruppo di ricerca:
Salvatore ORLANDO
Alvise SPANO'
Giovanni VAIA
Centro di competenza per lo sviluppo aperto, partecipato e condiviso dei portali di servizio al cittadino - 2009
Ente finanziatore:
REGIONE VENETO - DIR.SIST.INFORMATICO
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2009 Durata mesi: 12
Certificazione delle Competenze per i Corsi di Laurea Triennali - 2010
Ente finanziatore:
Regione Veneto, Direzione Lavoro
Tipologia:
POR FSE (2007-2013)
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 15
Citizens iTV del PRAI - VENETO NET GOAL 2006
Ente finanziatore:
Regione Veneto
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
PT
Data inizio:
Anno: 2007 Durata mesi: 12
Consulenza Tecnica nell'ambito del progetto SHICT - 2011
Ente finanziatore:
Promocasa Service srl
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
LD
Data inizio:
Anno: 2011 Durata mesi: 12
Consulenza Tecnica relativa al Progetto RDL: introduzione di tecnologie informatiche per la rendicontazione del servizio manutentivo. - 2012
Ente finanziatore:
IMA Servizi Spa
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
LD
Data inizio:
Anno: 2012 Durata mesi: 12
DESIGN OF A DATA-DRIVEN VULNERABILITY ANALYSER FOR ANDROID AUTO INFOTAINMENT APPS
Ente finanziatore:
FSE Regione Veneto
Tipologia:
POR FESR (2014-2020)
Ruolo nel progetto:
LD
Data inizio:
Anno: 2017 Durata mesi: 12
Definizione delle linee guida di un Piano di Disaster Recovery nell'ambito del processo di valutazione dell'attribuzione di un rating Basilea2 - 2007
Ente finanziatore:
Evolvenda S.r.l.
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
NS
Data inizio:
Anno: 2007 Durata mesi: 3
Digital Valley - 2007
Ente finanziatore:
Regione Veneto
Tipologia:
LR 3/2003 - Identità Veneta
Ruolo nel progetto:
NS
Data inizio:
Anno: 2007 Durata mesi: 12
Donne e ICT - 2014
Ente finanziatore:
Commissione Pari Opportunità della Regione del Veneto
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2014 Durata mesi: 12
Donne e Tecnologia - 2015
Ente finanziatore:
Regione Veneto - Commissione Pari Opportunità
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2015 Durata mesi: 12
Donne e Tecnologie - 2010
Ente finanziatore:
Regione Veneto - Commissione Pari Opportunità
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 12
EQUAL-IST 2016
Ente finanziatore:
Unione Europea
Tipologia:
H2020 - Societal Challenges
Ruolo nel progetto:
PT
Sito di progetto:
https://equal-ist.eu/
Data inizio:
Anno: 2016 Durata mesi: 30
Altri membri del gruppo di ricerca:
Maria SANGIULIANO
EUTYPES - 2016
Ente finanziatore:
Unione Europea
Tipologia:
COST
Ruolo nel progetto:
PT
Data inizio:
Anno: 2016 Durata mesi: 36
Altri membri del gruppo di ricerca:
Michele BUGLIESI
Riccardo FOCARDI
FAMILIES_SHARE
Ente finanziatore:
Commissione Europea
Tipologia:
H2020 - Science with and for society
Ruolo nel progetto:
LD
Data inizio:
Anno: 2018 Durata mesi: 34
FilieraSicura: security of national infrastructures
Ente finanziatore:
CISCO and Leonardo
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
PT
Sito di progetto:
http://www.filierasicura.it
Data inizio:
Anno: 2017 Durata mesi: 36
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Formal Specification for Secured Software System
Ente finanziatore:
MIUR
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2017 Durata mesi: 36
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
La ricerca dell'Eccellenza per lo sviluppo del Capitale Umano come risposta alla sfida della globalizzazione - 2009
Ente finanziatore:
Regione Veneto, progetto FSE 2120/101/2/722/2009
Tipologia:
POR FSE (2007-2013)
Ruolo nel progetto:
LD
Data inizio:
Anno: 2009 Durata mesi: 36
Laboratorio per l’erogazione e lo sviluppo di portali di servizi ai cittadini ed alle imprese - 2008
Ente finanziatore:
REGIONE VENETO
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2008 Durata mesi: 12
Metodologie e tecnologie informatiche con particolare attenzione ai Sistemi Informativi aziendali in campo sanitario - 2007
Ente finanziatore:
Kairos
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2007 Durata mesi: 2
PRAI Programma Veneto Azioni Innovative FESR 2000-2006
Ente finanziatore:
Regione Veneto
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2006 Durata mesi: 7
PRG Cultural Journey - Mazzanti - 2010
Ente finanziatore:
Mazzanti Editore
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
SB
Data inizio:
Anno: 2010 Durata mesi: 12
PRG Mobile quality - Kairos - 2010
Ente finanziatore:
Kairos srl
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
SB
Data inizio:
Anno: 2010 Durata mesi: 12
Realizzare un software in grado di operare ricerche ed ordinamenti di oggetti per similarità di forma - 2008
Ente finanziatore:
Luxottica S.r.l.
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2008 Durata mesi: 1,5
Ricerca e sperimentazione per le attività di ridisegno e trasformazione della Pubblica Amministrazione nell’ottica del digital first
Ente finanziatore:
AGID (Agenzia per l'Italia Digitale)
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2014 Durata mesi: 12
SOFT - Security Oriented Formal Techniques
Ente finanziatore:
MIUR
Tipologia:
PRIN
Ruolo nel progetto:
LD
Data inizio:
Anno: 2007 Durata mesi: 24
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Security Horizons
Ente finanziatore:
MIUR
Tipologia:
PRIN
Ruolo nel progetto:
PT
Data inizio:
Anno: 2012 Durata mesi: 36
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Sistema di erogazione a distanza di servizi di pianificazione e controllo di prestazioni socio assistenziali - 2009
Ente finanziatore:
Softwareuno
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
PT
Data inizio:
Anno: 2009 Durata mesi: 12
Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building
Ente finanziatore:
POR FESR
Tipologia:
POR FESR (2014-2020)
Ruolo nel progetto:
PT
Data inizio:
Anno: 2017 Durata mesi: 36
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Francesco PALMARINI
Smart eGovernment Dashboard (SmeD) - 2013
Ente finanziatore:
Regione del Veneto - Direzione Sistemi Informativi
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2013 Durata mesi: 12
Soluzioni ICT per il Distretto dello Sportsystem - 2008
Ente finanziatore:
Treviso Tecnologia
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2008 Durata mesi: 15
Soluzioni Ict per il distretto dello sportsystem - 2009
Ente finanziatore:
TREVISO TECNOLOGIA
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2009 Durata mesi: 15
Studio sulle metodologie di reingegnerizzazione di sistemi ERP e sistemi informativi aziendali e sulla documentazione tecnica e funzionale - 2008
Ente finanziatore:
ELITEC SRL
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2008 Durata mesi: 12
TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010
Ente finanziatore:
Regione Sardegna
Tipologia:
Altri finanziamenti di ricerca
Ruolo nel progetto:
PT
Data inizio:
Anno: 2010 Durata mesi: 18
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Flaminia LUCCIO
Un nuovo modo di produrre, personalizzare, assistere ed integrare il software gestionale - 2013
Ente finanziatore:
Regione del Veneto (Progetto 2639/1/1/869/2013)
Tipologia:
POR FSE (2007-2013)
Ruolo nel progetto:
PT
Data inizio:
Anno: 2013 Durata mesi: 12
eGovernment Intelligence - 2010
Ente finanziatore:
Regione Veneto, Direzione Sistemi Informativi
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 12