....

FURIO HONSELL

Professore ordinario di Informatica, laureato in Matematica all'Università degli Studi di Pisa nel 1980 e Diplomato 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 (K05B) presso l'Università di Udine dove ha diretto il Centro di Calcolo dal 1990 al 1992, il Dipartimento di Matematica e Informatica 1992 – 1995. Professore visitatore presso Stanford University, École Normale Supérieure di Parigi, Scuola Normale Superiore di Pisa, Edinburgh University; responsabile di unità nei progetti della UE: HCM Lambda Calcul Typé, EC SCIENCE MASK, ESPRIT WG TYPES, e nazionali: MIUR COFIN 1994, 1997, 1999; coordinatore nazionale del progetto MIUR COFIN 2001 "COMETA”.

Dal 2001 è Rettore dell’Università degli Studi di Udine. Responsabile dell'unità di Udine del progetto della UE "Computer-Assisted Reasoning based on Type Theory (TYPES)". Coordinatore europeo del progetto della UE Europeindia "ICT for EU-India Cross-cultural dissemination". È presidente del Central Eastern European University Network (Ceeun), la rete di cooperazione universitaria nel campo della ricerca sulle economie in transizione. Interessi di ricerca: semantica dei linguaggi di programmazione, lambda calcolo, logiche dei programmi, teorie dei tipi, logical frameworks, metodi logici, topologici e categoriali in informatica. Contributi di ricerca: autore di oltre 50 pubblicazioni scientifiche su teoria degli iperinsiemi non ben fondati, modelli e teorie del lambda calcolo, logical frameworks, lambda calcoli di oggetti, logiche dei programmi. Nel 2007 ha pubblicato il libro L’algoritmo del parcheggio sulla matematica nella vita quotidiana per Mondadori. Dal 28 Aprile 2008 è Sindaco del Comune di Udine per il centrosinistra.