| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 09 Jan 2026 22:21:19 GMT
access-control-allow-origin: *
etag: W/"69617f5f-2542"
expires: Sat, 17 Jan 2026 00:58:48 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: F6C1:8C868:A39CE:BE3AF:696ADC6F
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 00:48:48 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210084-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768610928.169004,VS0,VE253
vary: Accept-Encoding
x-fastly-request-id: bd7b3b8f33496a007d4aa8ce3583a69b3398ede0
content-length: 3102
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
Search