Agostino CORTESI
- Qualifica
- Professore Ordinario
- Incarichi
-
Componente supplente della Commissione prevista dal "Codice di comportamento per la prevenzione delle molestie e il loro contrasto"
Delegato della Rettrice alla Valutazione della Qualità della Ricerca
Vice Coordinatore del Comitato Scientifico del “Centro temporaneo Progetto Ecosistema dell’Innovazione"
- Telefono
- 041 234 8450
-
cortesi@unive.it
- SSD
- Informatica [INFO-01/A]
- Sito web
-
www.unive.it/persone/cortesi (scheda personale)
- 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)
Attività e competenze di ricerca
Informazioni generali
- Settore Scientifico Disciplinare (SSD) di afferenza
- Informatica [INFO-01/A]
- 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.
- Principali aree e linee di ricerca del Dipartimento
-
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
- Requirements Engineering
-
- SSD:
- INFO-01/A
- Altri membri del gruppo di ricerca:
-
Raunak BAG
Mandira ROY
- Tecniche Formali per la Sicurezza
-
- SSD:
- INF/01
- Tecniche di Analisi e Verifica dei Programmi
-
- SSD:
- INF/01
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
- BRIDGE
-
- Ente finanziatore:
- MUR
- Tipologia:
- Altri programmi ministeriali
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2025 Durata mesi: 24
- 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
- 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
- EcoDigify
-
- Ente finanziatore:
- EU - Erasmus+ KA
- Tipologia:
- Altri finanziamenti per attività di didattica/formazione
- Ruolo nel progetto:
- PT
- Sito di progetto:
- www.ecodigify.eu
- Data inizio:
- Anno: 2024 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Pietro FERRARA
Mandira ROY
- FAMILIES-TO-FAMILIES FOR SHARING CHILDREN CARE
-
- Ente finanziatore:
- MUR
- Tipologia:
- Altri programmi ministeriali
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2021 Durata mesi: 6
- 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
- Health_AI
-
- Ente finanziatore:
- EU - Erasmus+ KA
- Tipologia:
- Altri finanziamenti per attività di didattica/formazione
- Ruolo nel progetto:
- PT
- Sito di progetto:
- https://healthai.cankaya.edu.tr/
- Data inizio:
- Anno: 2025 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Pietro FERRARA
- INEST
-
- Ente finanziatore:
- MUR
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2023 Durata mesi: 36
- 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
- PADS4Health
-
- Ente finanziatore:
- MUR
- Tipologia:
- PRIN
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2023 Durata mesi: 36
- 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
- RIR SATCO
-
- Ente finanziatore:
- RV
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2025 Durata mesi: 24
- RIR SUPREME
-
- Ente finanziatore:
- Regione Veneto
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2025 Durata mesi: 24
- Altri membri del gruppo di ricerca:
-
Pietro FERRARA
- 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
- Requirement specification and static analysis of robotic software
-
- Ente finanziatore:
- Università Ca' Foscari Venezia
- Tipologia:
- Progetti di Ateneo
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2021 Durata mesi: 24
- 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
- SERICS
-
- Ente finanziatore:
- MUR
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2023 Durata mesi: 36
- 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
- SmartCycle
-
- Ente finanziatore:
- RV
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2026 Durata mesi: 24
- 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
- Verbali CRV
-
- Ente finanziatore:
- Consiglio Regionale del vVneto
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2025 Durata mesi: 12
- Altri membri del gruppo di ricerca:
-
Mario GOTTARDO
- 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