Home Furio Honsell Saturday, 11 September 2010
Furio Honsell PDF Print E-mail

Professore ordinario di Informatica, laureatosi in Matematica all'Università degli Studi di Pisa nel 1980, ha ricoperto successivamente posti di ricerca e di ruolo presso il Dipartimento di Informatica dell'Università di Torino, l’Edinburgh University e l’Università di Udine della quale, dal 2001, è Rettore Magnifico. Visiting professor presso varie Scuole (Stanford University, École Normale Supérieure di Parigi, Scuola Normale Superiore di Pisa, Edinburgh University), responsabile di unità in numerosi progetti della UE e nazionali, coordinatore nazionale del progetto MIUR COFIN 2001 "COMETA", è attualmente responsabile dell'unità di Udine del progetto della UE "Computer-Assisted Reasoning based on Type Theory (TYPES)". È Membro dell'editorial board della rivista internazionale “Mathematical Structures in Computer Science”. I suoi interessi di ricerca spaziano dalla semantica dei linguaggi di programmazione alle teorie dei tipi, dal logical frameworks, ai metodi logici, topologici e categoriali in informatica.

 

Your are currently browsing this site with Internet Explorer 6 (IE6).

Your current web browser must be updated to version 7 of Internet Explorer (IE7) to take advantage of all of template's capabilities.

Why should I upgrade to Internet Explorer 7? Microsoft has redesigned Internet Explorer from the ground up, with better security, new capabilities, and a whole new interface. Many changes resulted from the feedback of millions of users who tested prerelease versions of the new browser. The most compelling reason to upgrade is the improved security. The Internet of today is not the Internet of five years ago. There are dangers that simply didn't exist back in 2001, when Internet Explorer 6 was released to the world. Internet Explorer 7 makes surfing the web fundamentally safer by offering greater protection against viruses, spyware, and other online risks.

Get free downloads for Internet Explorer 7, including recommended updates as they become available. To download Internet Explorer 7 in the language of your choice, please visit the Internet Explorer 7 worldwide page.