Assistant Professor
Full Professor, Chair
PhD Student / Research Software Engineer (REIT)
Editor Services
PhD Student
Composition of Semantics
Dependently Typed Programming Languages
Static Semantics Specification
Software Restructuring
Dynamic Semantics Specification
(Homotopy) Type Theory, Univalent Foundations
Type-Driven Development in Practice
Educational Software Engineer (EIP)
WebLab
MyStudyPlanning
WebLab & MyStudyPlanning
Research Software Engineer (REIT)
Spoofax Language Workbench
Management Assistant
Visiting Professor
Visiting Assistant Professor
Guest
Type Theory (Agda Core)