CORTESI Agostino

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