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

Hendrik van Antwerpen

Hendrik van Antwerpen

PhD Student

Static Semantics Specification

Daniel A.A. Pelsmaeker

Daniel A.A. Pelsmaeker

PhD Student / Developer

Editor Services

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

Usability of Formal Verification

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

Marja de Graaf

Management Assistant

Guests

Peter Mosses

Visiting Professor

Casper Bach Poulsen

Casper Bach Poulsen

Visiting Assistant Professor

Paige Randall North

Paige Randall North

Guest

Interns

Ewen Broudin-Caradec

Ewen Broudin-Caradec

Type Theory (Agda Core)