CORTESI Agostino

Qualifica Professore Ordinario
Telefono 041 234 8450
E-mail cortesi@unive.it
egov@unive.it - CORTESI Agostino
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: 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

Attività e competenze di ricerca

Informazioni generali
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

Competenze di ricerca

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

Ricerche sviluppate e in corso

Information Systems
SSD INF/01
Progettazione di Sistemi Software per l'e-Government
SSD INF/01
Tecniche Formali per la Sicurezza
SSD INF/01
Altri membri del gruppo di ricerca Raju HALDER
Tecniche di Analisi e Verifica dei Programmi
SSD INF/01
Altri membri del gruppo di ricerca Raju HALDER

Finanziamenti

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 Gian-Luca DEI ROSSI
Salvatore ORLANDO
Renzo ORSINI
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
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 Romana FRATTINI
Ivana Maria PADOAN
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
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
Altri membri del gruppo di ricerca Renzo ORSINI
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
Raju HALDER
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
Raju HALDER
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
Raju HALDER
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