Chi è

Furio Honsell, professore ordinario di Informatica, sposato, padre di due figli, è nato a Genova il 20 agosto 1958. Si è laureato in Matematica all’Università di Pisa nel 1980 e ha conseguito il diploma in Matematica presso la Scuola Normale Superiore di Pisa nel 1983. Ha ricoperto posti di ricerca e di ruolo presso il dipartimento di Informatica dell’Università di Torino (ricercatore 1983-1985), Edinburgh University (Research Fellow in Computer Science 1986- 1988), Università di Udine (professore associato 1989- 1990). Nel 1990 è professore ordinario presso l’Università di Udine dove ha diretto il Centro di calcolo dal 1990 al 1992, il dipartimento di Matematica e informatica dal 1992 al 1995 ed è stato preside della facoltà di Scienze matematiche fisiche e naturali dal 1995 al 1998. Dal 21 giugno 2001 ricopre la carica di Rettore dell’Università di Udine . È stato professore visitatore presso Stanford University, École Normale Supérieure di Parigi, Scuola Normale Superiore di Pisa, Edinburgh University, responsabile di unità in tre progetti dell’Unione europea e in tre nazionali, coordinatore nazionale del progetto ministeriale “Cometa”. Attualmente è responsabile dell’unità di Udine del progetto europeo “Computer-Assisted Reasoning based on Type Theory”, coordinatore europeo di un progetto europeo Europe india, membro di comitato di programma e “invited speaker” per varie conferenze internazionali, chairman di conferenze internazionali, curatore di diversi numeri speciali di riviste inter-nazionali, membro dell’”editorial board” della rivista internazionale Mathematical Structures in Computer Science, del Salzburg Seminar e membro permanente dell’IFIP WG 2.2. Ha diretto oltre sessanta tesi di laurea e sette dottorati di ricerca in Informatica. È autore di oltre 50 pubblicazioni scientifiche su teoria degli iperinsiemi non ben fondati, modelli e teorie del lambda calcolo, logical frameworks, calcoli di oggetti, logiche dei programmi.