Genova

La ricerca dell'unità di Genova (unità 3) è mirata all'utilizzo di linguaggi e sistemi di programmazione con vincoli per la modellazione e l'analisi di sistemi concorrenti con spazio degli stati infinito.

Delzanno Giorgio
responsabile scientifico unità
Dip. di Iinformatica e Scienze dell'Informazione
Università degli Studi di Genova
giorgio(at)disi.unige.it
http://www.disi.unige.it/person/DelzannoG/
Costa Gerardo
Dip. di Iinformatica e Scienze dell'Informazione
Università degli Studi di Genova
http://www.disi.unige.it/person/CostaG/

Dottorandi

Montagna Roberto
Dip. di Iinformatica e Scienze dell'Informazione
Università degli Studi di Genova
http://www.disi.unige.it/person/MontagnaR/
Cordì Valentina
Dip. di Iinformatica e Scienze dell'Informazione
Università degli Studi di Genova
http://www.disi.unige.it/person/CordiV/
Ganty Pierre
Dip. di Iinformatica e Scienze dell'Informazione
Università degli Studi di Genova
http://www.dist.unige.it/dist/staff/schede/pganty.html
Mantovani Jacopo
Dip. di Iinformatica, Sistemistica e Telematica
Università degli Studi di Genova
http://www.ai.dist.unige.it/jacopo/

PROGETTO DELL'UNITÀ DI RICERCA - Modello B

RENDICONTO DELL'UNITÀ DI RICERCA - Modello C