Members of the Delft PL Group

Faculty

Casper Bach Poulsen

Assistant Professor

Jesper Cockx

Assistant Professor

Soham Chakraborty

Assistant Professor

Benedikt Ahrens

Assistant Professor


In memoriam

Eelco Visser

Full Professor, Chair


Postdocs

Gabriël Konat

Postdoc

Language Workbench Pipelines

Jeff Smits

Postdoc

Spoofax Language Workbench


PhD Students

Hendrik van Antwerpen

PhD Student

Static Semantics Specification

Jasper Denkers

PhD Student

Parsing and DSL Design

Daniël Pelsmaeker

PhD Student / Developer

Editor Services

Cas van der Rest

PhD Student

Composition of Semantics

Bohdan Liesnikov

PhD Student

Dependently Typed Programming Languages

Lucas Escot

PhD Student

Dependently Typed Programming Languages

Aron Zwaan

PhD Student

Static Semantics Specification

Luka Miljak

PhD Student

Software Restructuring

Dennis Sprokholt

PhD Student

Architecture to Architecture Mapping

Jaro Reinders

PhD Student

Dynamic Semantics Specification

Kobe Wullaert

PhD Student

(Homotopy) Type Theory, Univalent Foundations

Layne Liu

PhD Student

Software Restructuring

Houda Boukham

PhD Student

Software Restructuring

Sára Juhošová

PhD Student

Usability of Formal Verification


Programmers

Elmer van Chastelet

Academic Workflow Engineer

Danny Groenewegen

Academic Workflow Engineer

Max de Krieger

Research Software Engineer


Support

Shelly Dawn Stok

Section Secretary


Guests

Peter Mosses

Visiting Professor