Research

Research interests

Foundations

• Lambda-calculus
• Term and graph rewriting
• Typing systems
• Logic
• Recursion theory

Programming theory

• Semantics of programming languages
• Static analysis of programs
• Functional programming
• Specification and verification

Methodology

• Research methodology

Research projects

Present

• Strictness analysis via resource typing (with Sjaak Smetsers)
• Static analysis of component software (with Marc Bezem)
• Research methodology for information science

Other characteristic projects (past)

• Typing systems for graph rewriting: conventional, resource-conscious, uniqueness typing (with Sjaak Smetsers)
• Handbook chapter on term graph rewriting
• Completeness of propositions-as-types in first-order dependent type theory (with Herman Geuvers)
• Autarkic computations in formal proofs (with Henk Barendregt)
• Bar recursion and polymorphic lambda calculus (with Marc Bezem)
• Model theory of first and second order lambda calculus
• Higher-type definability
• Foundations of term graph rewriting (with Sjaak Smetsers)
• Numeral systems in lambda calculus

Publications

(to be completed)