Furio Honsell

Institution:
Università di Udine (Italy)
Dipartimento di Matematica e Informatica

Position:
Full Professor (since 1990)

Research:
- semantics of programming languages;
- program logics;
- lambda-calculus;
- type theory;
- logical frameworks;
- logical topological and categorical methods in informatics.

Email:
honsell@dimi.uniud.it

Email:
http://users.dimi.uniud.it/~furio.honsell/index.html

Titolo: ISTITUTO INTERNAZIONALE PER LA MATEMATICA APPLICABILE E LE SCIENZE DELL'INFORMAZIONE Codice Progetto: RBIN04M8S8 Decorrenza: 26/08/2007 - Termine: 26/12/2011