On this page you will find my research interests, contact information, and CV.
Programming languages, type theory, category theory w.r.t. the analysis of type theories and programming languages, and logic in computer science.
Conference and workshop service:
- Program committee member for PLPV 2013.