Hanno realizzato il materiale di questo modulo:

Prof. Cosimo Laneve

Professore Straordinario di Informatica presso l'Università di Bologna, dove insegna Linguaggi di Programmazione e Qualità del Software. Ha ricevuto il Dottorato di Ricerca in Informatica dall'Università di Pisa ed è stato Research Associate presso l'INRIA di Sophia Antipolis in Francia. Attualmente è coordinatore di progetti nazionali e internazionali che riguardano i fondamenti teorici e l'implementazione di linguaggi di programmazione distribuiti, di verifica statica di programmi e di teoria dei tipi. Relativamente a queste tematiche, ha pubblicato su numerose riviste e conferenze internazionali.