CORTESI Agostino

Activities and research skills

General information

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

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
Other members of the research group Raju HALDER

Tecniche di Analisi e Verifica dei Programmi

SSD INF/01
Other members of the research group Raju HALDER

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

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 Romana FRATTINI
Ivana Maria PADOAN
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
Other members of the research group Renzo ORSINI

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