Members of the Delft PL Group

Faculty

Eelco Visser

Full Professor, Chair

Robbert Krebbers

Robbert Krebbers

Assistant Professor

Casper Bach Poulsen

Casper Bach Poulsen

Assistant Professor

Jesper Cockx

Assistant Professor

Postdocs

Gabriël Konat

Postdoc

Language Workbench Pipelines

Paolo Giarrusso

Paolo Giarrusso

Postdoc

Software Verification

PhD Students

Vlad Vergu

PhD Student

Dynamic Semantics Specification

Hendrik van Antwerpen

Hendrik van Antwerpen

PhD Student

Static Semantics Specification

Jeff Smits

PhD Student

Transformation and Analyis

Arjen Rouvoet

PhD Student

Intrinsically-Typed Syntax and Semantics

Jasper Denkers

PhD Student

Parsing and DSL Design

Daniël A. A. Pelsmaeker

Daniël A. A. Pelsmaeker

PhD Student / Developer

Editor Services

Jules Jacobs

PhD Student

Software Verification

Cas van der Rest

Cas van der Rest

PhD Student

Composition of Semantics

PhD Student

Dependently Typed Programming Languages

PhD Student / Developer

Web Programming Languages

PhD Student

Static Semantics Specification

PhD Student

Dynamic Semantics Specification

PhD Student

Software Restructuring

PhD Student

Software Restructuring

Programmers

Elmer van Chastelet

Elmer van Chastelet

Academic Workflow Engineer

Danny Groenewegen

Danny Groenewegen

Academic Workflow Engineer

Max de Krieger

Student Programmer

Support

Roniet Sharabi

Section Secretary

Guests

Peter Mosses

Visiting Professor

Luís Eduardo Souza Amorim

Luís Eduardo Souza Amorim

Guest

Andrew Tolmach

Visiting Professor

Arjan Mooij

Guest

Interns

Master Students

Nick ten Veen

Master Student

Maarten Sijm

Master Student

Chiel Bruijn

Master Student

Master Student

Master Student

Ivo Wilms

Master Student

Phil Misteli

Master Student

Aron Zwaan

Master Student

Max de Krieger

Master Student

Bram Crielaard

Master Student

Luka Miljak

Master Student

Master Student