Full Professor, Chair
Assistant Professor
Postdoc
Language Workbench Pipelines
Spoofax Language Workbench
Research into intrinsically-typed language implementations and abstractions for name binding
PhD Student
Dynamic Semantics Specification
Static Semantics Specification
Transformation and Analyis
Intrinsically-Typed Syntax and Semantics
Parsing and DSL Design
PhD Student / Developer
Editor Services
Composition of Semantics
Dependently Typed Programming Languages
Web Programming Languages
Software Restructuring
Academic Workflow Engineer
Research Software Engineer
Section Secretary
Visiting Professor
Guest
Honours Students
Master Student
Master Students