Research Group

PI

Eelco Visser | Professor

Spoofax

Postdocs

Spoofax3: Live language development

Flexible Compiler Pipelines (Oracle ERO)

Jeff Smits | Postdoc

Gradually typed transformation, data-flow analysis

Stratego, FlowSpec

PhD Students

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

Aron Zwaan | PhD Student

Static semantics specification

Luka Miljak | PhD Student

Programmable software restructuring

MasCot (NWO TTW)

You? | PhD Student

Programmable software restructuring

MasCot (NWO TTW)

You? | PhD Student

Web Programming Languages

WebLab

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

Support

Roniet Sharabi | Group Secretary

Guests

Peter Mosses | Visiting Professor
Andrew Tolmach | Visiting Professor

Master Students

Ivo Wilms | Master Student

Compilation pipelines

Max de Krieger | Master Student

Static semantics of WebDSL in Statix

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

Bram van Walraven | Master Student

Constraint solving DSL for printer domain at Canon

Thijs Molendijk | Master Student

Spoofax 3

Ruben van Baarle | Master Student

Dynamix

Loek van der Gugten | Master Student

Restructuring

Restructuring