Persone
Cosimo Laneve
Professore, Coordinatore scientifico
Cosimo Laneve è Professore al Dipartimento di Informatica - Scienza e Ingegneria - dell' Università di Bologna. I suoi interessi di ricerca riguardano la teoria dei linguaggi di programmazione e l'analisi delle proprietà dei programmi. Cosimo Laneve è anche stato Microsoft Visiting Scientist ed ha diretto un progetto Microsoft su Linguaggi di Programmazione per Servizi Web. Cosimo Laneve è anche stato responsabile locale di diversi progetti nazionali e Europei ed è stato ricercatore principale di progetti industriali.
