Agostino CORTESI

Position
Full Professor
Roles
Rector's Delegate for Research Quality Assessment
Telephone
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/cortesi (personal record)
 http://www.dsi.unive.it/~cortesi
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B04 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Social Innovation
Research Institute
Research Institute for Complexity
Research Institute
Research Institute for Innovation Management

Activities and research skills

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