Udine & India
Research projects in applicable mathematics and information sciences
Luigi Liquori
Institution:
INRIA- Institut National de Recherche en Informatique et Automatique (France)
Position:
Senior Researcher (since 2001)
Research:
- object-oriented type-theory and semantics for functional programming languages, imperative programming languages, concurrent programming languages, logic programming languages;
- semantics of lambda-calculus, rho-calculus, object-calculus, term rewriting systems, continuations;
- foundation of proof assistants via dependent-type theory;
- foundations of programmable overlay network computers, ubiquitous/pervasive computing, internet of the future.
Email:
Luigi.Liquori@inria.fr