Interest Areas
- Programming languages
- Proof-assistants
- Lambda Calculus
- Linear Logic
- Type theory
- Proof theory
- Rewriting Theory
Some Recent Topics
- Evaluation Strategies (standardisation, call-by-need, call-by-push-value, etc)
- Pattern Calculi and Pattern Matching
- Intersection Type Theory
- Curry-Howard Isomorphism
- Term Interpretation of Classical Logic
- Resource Calculi and Explicit Substitutions
- Inhabitation