Assistant Professor
Full Professor, Chair
Postdoc
Language Workbench Pipelines
Spoofax Language Workbench
PhD Student
Static Semantics Specification
Transformation and Analyis
Parsing and DSL Design
PhD Student / Developer
Editor Services
Composition of Semantics
Dependently Typed Programming Languages
Software Restructuring
Architecture to Architecture Mapping
Dynamic Semantics Specification
(Homotopy) Type Theory, Univalent Foundations
Academic Workflow Engineer
Research Software Engineer
Section Secretary
Visiting Professor
Guest
Honours Students
Master Student
Master Students