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

You? | PhD Student / Developer

Web programming languages

You? | 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 | Student Programmer

Web programming

researchr, conf.researchr

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

Aron Zwaan | Master Student

Multi-language type checking

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