Betti Venneri

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.