CORTESI Agostino

Qualifica
Professore Ordinario
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 (edificio Alfa)
Stanza: studio Z.B04 (edificio Zeta B)
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

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

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