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.