Udine & India
Research projects in applicable mathematics and information sciences
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