Previous Contents

Ringraziamenti

Un grosso ringraziamento al Prof. Andrea Asperti e ai miei collaboratori Dott. Luca Padovani e Dott. Irene Schena che hanno dato vita ad un ambiente di lavoro produttivo e stimolante.

Un ringraziamento sentito al Dott. Benjamin Werner che mi ha introdotto al sistema Coq e al Dott. Hugo Herberlin che ha pazientemente chiarito i miei dubbi su CIC.

Ringrazio calorosamente tutti i miei compagni di corso e tutti i docenti del Dipartimento di Informatica per i bellissimi e coinvolgenti anni trascorsi all'UniversitÓ. In particolare, un grosso ringraziamento va a Valerio Paolini per i frequenti e costruttivi confronti di idee, sia sul piano tecnico che su quello umano.

Infine ringrazio la mia ragazza, la mia famiglia e i miei amici per avermi pazientemente supportato e sopportato durante il mio lungo periodo di tesi.

Previous Contents