Agostino CORTESI
- Position
- Full Professor
- Roles
-
Rector's Delegate for Research Quality Assessment
Deputy Coordinator of the Scientific Committee of the "Temporary Centre for the Innovation Ecosystem Project"
- Telephone
- 041 234 8450
-
cortesi@unive.it
egov@unive.it - CORTESI Agostino
- Scientific sector (SSD)
- Informatica [INFO-01/A]
- 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)
Activities and research skills
General information
- Scientific sector (SSD)
- Informatica [INFO-01/A]
- 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.
- Main departmental research areas and fields
-
Area:
Informatica Linea:
DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
Research skills
- 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
Completed and pending researches
- 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
Funds
- 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
- 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-TO-FAMILIES FOR SHARING CHILDREN CARE
-
- Funding body:
- MUR
- Type:
- Altri programmi ministeriali
- Role in the project:
- LD
- Starting date:
- Year: 2021 Length in months: 6
- 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
- Privacy-Aware Data Sharing Model for Health Data
-
- Funding body:
- MUR
- Type:
- PRIN
- Role in the project:
- PT
- Starting date:
- Year: 2023 Length in months: 24
- 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
- Requirement specification and static analysis of robotic software
-
- Funding body:
- Università Ca' Foscari Venezia
- Type:
- Progetti di Ateneo
- Role in the project:
- LD
- Starting date:
- Year: 2021 Length in months: 24
- 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