Università Ca' Foscari Venezia > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

Agostino CORTESI - Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
  • [INF/01] INFORMATICA
Aree e linee di ricerca
  • 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

Progettazione di Sistemi Software per l'e-Government

SSD
  • INF/01
Altri membri del gruppo di ricerca

Tecniche Formali per la Sicurezza

SSD
  • INF/01
Altri membri del gruppo di ricerca

Tecniche di Analisi e Verifica dei Programmi

SSD
  • INF/01
Altri membri del gruppo di ricerca

Information Systems

SSD
  • INF/01
Altri membri del gruppo di ricerca

Finanziamenti

PRAI Programma Veneto Azioni Innovative FESR 2000-2006

Ente finanziatore
  • Regione Veneto
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2006 Durata mesi: 7

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

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
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2009 Durata mesi: 36

Centro di competenza per lo sviluppo aperto, partecipato e condiviso dei portali di servizio al cittadino - 2009

Ente finanziatore
  • REGIONE VENETO - DIR.SIST.INFORMATICO
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2009 Durata mesi: 12

eGovernment Intelligence - 2010

Ente finanziatore
  • Regione Veneto, Direzione Sistemi Informativi
Tipologia
  • conto terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 12

Citizens iTV del PRAI - VENETO NET GOAL 2006

Ente finanziatore
  • Regione Veneto
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2007 Durata mesi: 12

Soluzioni Ict per il distretto dello sportsystem - 2009

Ente finanziatore
  • TREVISO TECNOLOGIA
Tipologia
  • Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2009 Durata mesi: 15

PRG Cultural Journey - Mazzanti - 2010

Ente finanziatore
  • Mazzanti Editore
Tipologia
  • consulenza conto-terzi
Ruolo nel progetto
  • SB
Data inizio
  • Anno: 2010 Durata mesi: 12

PRG Mobile quality - Kairos - 2010

Ente finanziatore
  • Kairos srl
Tipologia
  • consulenza conto terzi
Ruolo nel progetto
  • SB
Data inizio
  • Anno: 2010 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 - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 Durata mesi: 3

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
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 12

Laboratorio per l’erogazione e lo sviluppo di portali di servizi ai cittadini ed alle imprese - 2008

Ente finanziatore
  • REGIONE VENETO
Tipologia
  • Contratto di ricerca
Ruolo nel progetto
  • LD
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
  • progetto di ricerca
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2010 Durata mesi: 18
Altri membri del gruppo di ricerca

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
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 9

Soluzioni ICT per il Distretto dello Sportsystem - 2008

Ente finanziatore
  • Treviso Tecnologia
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 15

Donne e Tecnologie - 2010

Ente finanziatore
  • Regione Veneto - Commissione Pari Opportunità
Tipologia
  • consulenza
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 12

Metodologie e tecnologie informatiche con particolare attenzione ai Sistemi Informativi aziendali in campo sanitario - 2007

Ente finanziatore
  • Kairos
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 Durata mesi: 2

Digital Valley - 2007

Ente finanziatore
  • Regione Veneto
Tipologia
  • L.R. 8/2003
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 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 - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 1,5

Certificazione delle Competenze per i Corsi di Laurea Triennali - 2010

Ente finanziatore
  • Regione Veneto, Direzione Lavoro
Tipologia
  • FSE
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 15

Sistema di erogazione a distanza di servizi di pianificazione e controllo di prestazioni socio assistenziali - 2009

Ente finanziatore
  • Softwareuno
Tipologia
  • conto terzi
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2009 Durata mesi: 12

Analisi fabbisogni innovativi del territorio - 2010

Ente finanziatore
  • Nesting scarl
Tipologia
  • conto terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 1

Consulenza Tecnica relativa al Progetto RDL: introduzione di tecnologie informatiche per la rendicontazione del servizio manutentivo. - 2012

Ente finanziatore
  • IMA Servizi Spa
Tipologia
  • Contratto Conto Terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2012 Durata mesi: 12

Consulenza Tecnica nell'ambito del progetto SHICT - 2011

Ente finanziatore
  • Promocasa Service srl
Tipologia
  • Contratto Conto Terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2011 Durata mesi: 12

Security Horizons

Ente finanziatore
  • MIUR
Tipologia
  • PRIN
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 36
Altri membri del gruppo di ricerca

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; Journal of Universal Computer Science - Member of the Editorial Board; Informatica Umanistica – Member 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 di progetti dell'Università degli Studi di Padova. 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.

Strumenti

Puoi raggiungere questa pagina anche da www.unive.it/persone/cortesi

Feed RSS Feed RSS degli avvisi personali

Avvisi

Collegamenti

Foto Persona

© Ca'Foscari 2013