Autori & Autrici

Professore ordinario di Informatica presso il Dipartimento di Informatica dell'Università degli Studi di Torino. Negli anni 80 ha introdotto i tipi intersezione, che sono stati largamente usati come descrizione finitaria di lambda modelli e recentemente adottati anche dall'ultima versione del linguaggio Java per rendere più dinamico l'uso delle lambda espressioni. La sua attuale ricerca è focalizzata sulla sicurezza dei protocolli di comunicazione. Ulteriori informazioni sono reperibili sulla sua pagina: http://www.di.unito.it/~dezani/