Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Curriculum vitae

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.