Autori & Autrici

Professore associato di Informatica presso il Dipartimento di Statistica, Informatica, Applicazioni dell'Università degli Studi di Firenze. La sua attività di ricerca si è sviluppata, partendo dal lambda calcolo e dalla teoria dei tipi,  nell'area dei fondamenti dei linguaggi di programmazione. I suoi interessi più recenti vertono sullo studio di sistemi di tipo per componenti adattive e linguaggi orientati agli oggetti. Per le sue pubblicazioni su riviste e conferenze internazionali:  http://dblp.uni-trier.de/pers/hd/v/Venneri:Betti