Cosimo Laneve ha conseguito il Diploma di Dottore di Ricerca
in Informatica nel 1993. Dal Gennaio 93 sino ad Ottobre 1994
e` stato Ricercatore Post-Dottorato all'INRIA di
Sophia-Antipolis, in Francia. Dal 1994 e` stato Ricercatore, poi
Professore Associato, quindi Professore Straordinario
presso il Corso di Laurea in Informatica dell'Universita` di
Bologna. Gli interessi di ricerca di Cosimo Laneve
riguardano l'area della teoria dei linguaggi di programmazione, in
particolare linguaggi concorrenti, funzionali e orientati
ad oggetti, e della verifica di proprieta`.
Cosimo Laneve e` autore di oltre 80 pubblicazioni tra
articoli su riviste, conferenze internazionali e libri. Egli e`,
oppure e` stato, membro di comitati di programmi di conferenze
e workshop internazionali. Egli e` anche stato Visiting
Scientist di Microsoft, ed ha diretto un progetto Microsoft su un
Linguaggio di Programmazione per Web Services. Cosimo Laneve e` stato anche responsabile di sito di progetti nazionali ed europei e principale ricercatore di progetti industriali.
