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.