Members of the Delft PL Group

Faculty

Eelco Visser

Full Professor, Chair

Robbert Krebbers

Assistant Professor

Casper Bach Poulsen

Assistant Professor

Jesper Cockx

Assistant Professor


Postdocs

Gabriël Konat

Postdoc

Language Workbench Pipelines

Paolo Giarrusso

Postdoc

Software Verification


PhD Students

Vlad Vergu

PhD Student

Dynamic Semantics Specification

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

PhD Student / Developer

Editor Services

Jules Jacobs

PhD Student

Software Verification

Cas van der Rest

PhD Student

Composition of Semantics

You?

PhD Student

Dependently Typed Programming Languages

You?

PhD Student / Developer

Web Programming Languages

You?

PhD Student

Static Semantics Specification

You?

PhD Student

Dynamic Semantics Specification

You?

PhD Student

Software Restructuring

You?

PhD Student

Software Restructuring


Programmers

Elmer van Chastelet

Academic Workflow Engineer

Danny Groenewegen

Academic Workflow Engineer

Max de Krieger

Student Programmer


Support

Roniet Sharabi

Section Secretary


Guests


Interns

Master Students

Nick ten Veen

Master Student

Maarten Sijm

Master Student

Chiel Bruijn

Master Student

Liam Clark

Master Student

Jens de Waard

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

Ana Semrov

Master Student