Research Group

Postdocs

Spoofax3: Live language development

Flexible Compiler Pipelines (Oracle ERO)

Jeff Smits | Postdoc

Gradually typed transformation, data-flow analysis

Stratego, FlowSpec

PhD Students

Statix: Declarative specification of static semantics

Language Designer's Workbench (NWO VICI)

Arjen Rouvoet | PhD Student

AutoSound: Type safe interpretation and compilation

Language Designer's Workbench (NWO VICI)

Co-supervised by Robbert Krebbers

Jasper Denkers | PhD Student

Declarative specification of statix semantics

DSLs for Digital Printers (HTSM / Canon)

Daniël Pelsmaeker | PhD Student / Developer

Editors services from declarative language definitions

Alexander Chichigin | PhD Student / Developer

Web programming languages

Aron Zwaan | PhD Student

Static semantics specification

You? | PhD Student

Programmable software restructuring

MasCot (NWO TTW)

You? | PhD Student

Programmable software restructuring

MasCot (NWO TTW)

Programmers

Elmer van Chastelet | Academic Workflow Engineer

Web programming

EvaTool, conf.researchr.org, WebLab

Danny Groenewegen | Academic Workflow Engineer

Web programming

MyStudyPlanning, conf.researchr, WebLab

Max de Krieger | Academic Workflow Engineer

Web programming

researchr, conf.researchr

Olav de Haas | Student Programmer

Layout constraints

Spoofax

Support

Roniet Sharabi | Section Secretary

Guests

Peter Mosses | Visiting Professor
Andrew Tolmach | Visiting Professor

Master Students

Maarten Sijm | Master Student

Incremental generalized parsing

Ivo Wilms | Master Student

Compilation pipelines

Phil Misteli | Master Student

Rename refactoring from static semantic specificiations

Max de Krieger | Master Student

Static semantics of WebDSL in Statix

Bram Crielaard | Master Student

Dynamic semantics using scopes-as-frames

Luka Miljak | Master Student

Mechanical verification of declarative disambiguation

Jesse Tilro | Master Student

Incremental data modeling with derived record values

Matthijs Bijman | Master Student

Combining data-flow analysis and transformation

Toine Hartman | Master Student

Pattern match compilation for Stratego