Welcome to my academic website. I am a researcher in type theory, logic and programming languages at the University of Kent, and previously at the University of Tübingen, where you can find me here. The research topics and areas I am mainly interested in are:
- Using pure functional programming techniques for solving real problems
- The duality of data types and codata types, and inductive and coinductive definitions
- The combination of multiple evaluation strategies within the same language
- Computational classical logic and the sequent calculus, and the use of the sequent calculus as a compiler intermediate language
- The theory of subtyping and its applicability to functional languages (as opposed to subtyping in object oriented languages)
- Logic and proof theoretic semantics, where I also write about the early history of inferentialist meaning theories for logic, especially in the logical writings of Karl Popper