Members of the Delft PL Group

Faculty

Jesper Cockx

Assistant Professor

Soham Chakraborty

Soham Chakraborty

Assistant Professor

Benedikt Ahrens

Benedikt Ahrens

Assistant Professor

Andreea Costea

Assistant Professor

In memoriam

Eelco Visser

Full Professor, Chair

PhD Students

Daniel A.A. Pelsmaeker

Daniel A.A. Pelsmaeker

PhD Student / Research Software Engineer (REIT)

Editor Services

Cas van der Rest

Cas van der Rest

PhD Student

Composition of Semantics

Bohdan Liesnikov

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

Dennis Sprokholt

PhD Student

Architecture to Architecture Mapping

Jaro Reinders

PhD Student

Dynamic Semantics Specification

Kobe Wullaert

PhD Student

(Homotopy) Type Theory, Univalent Foundations

Sára Juhošová

Sára Juhošová

PhD Student

Type-Driven Development in Practice

Engineers

Elmer van Chastelet

Elmer van Chastelet

Educational Software Engineer (EIP)

WebLab

Danny Groenewegen

Danny Groenewegen

Educational Software Engineer (EIP)

MyStudyPlanning

Max de Krieger

Educational Software Engineer (EIP)

WebLab & MyStudyPlanning

Jeff Smits

Research Software Engineer (REIT)

Spoofax Language Workbench

Support

Sophie den Hartog

Sophie den Hartog

Management Assistant

Guests

Peter Mosses

Visiting Professor

Casper Bach

Visiting Assistant Professor

Paige Randall North

Paige Randall North

Guest

Interns

Ewen Broudin-Caradec

Ewen Broudin-Caradec

Type Theory (Agda Core)