Progetto Finalizzato Informatica

Le ricerche sulle basi di dati e sui sistemi informativi furono favorite dalla partecipazione di vari membri del Dipartimento al Progetto Finalizzato Informatica, avviato nel 1980 e diretto dal Professor Angelo Raffaele Meo.
Il coordinatore locale era il Professor Antonio Di Leva.
Al progetto partecipò il gruppo di Informatica Teorica (Coppo, Dezani, Margaria, Ronchi, Zacchi), che fornì l'analisi semantica del sistema proposto.
Il Professor Gianfranco Balbo partecipò al progetto come membro di un gruppo del Dipartimento di Elettronica del Politecnico contribuendo alla definizione delle Generalized Stochastic Petri Nets.
Il progetto produsse numerosi contributi nell’arco dei suoi cinque anni di durata, raccolti nel volume "Computer-Aided Database Design: The DATAID Project".

Foto