Topic: AutoSound: Type safe interpretation and compilation

Project: Autosound

Topic: Type safe dynamic semantics, scopes-and-frames

Project: Language Designer's Workbench (NWO VICI)

Now: Assistant Professor at TU Delft

Topic: Scope graphs

Project: Language Designer's Workbench (NWO VICI)

Now: Engineer at Apple

Topic: A theory of name resolution, scope graphs

Project: Language Designer's Workbench (NWO VICI)

Now: Senior Quantitative Developer at Standard Chartered Bank

Project: MoDSE (NWO Jaquard) & Oracle ERO

Now: Senior Research Manager at Oracle Labs

Project: Spoofax Language Workbench

Now: Senior Staff Engineer at Databricks

Topic: NixOs and Hydra Buildfarm

Project: TraCE (NWO Jaquard), CEDICT/LaQuSo Buildfarm, PDS (NWO Jaquard)

Now: Senior Software Engineer at Tweag I/O

Project: Model-Driven Software Evolution (MoDSE) (NWO Jaquard)

Now: VP of Engineering at relationalAI

Project: Transparent Configuration Environments (TraCE) (NWO/Jacquard)

Now: Founder MindYourPass

Topic: Web programming languages

Topic: Statix: Declarative specification of static semantics

Project: Language Designer's Workbench (NWO VICI)

Now: Software engineer at github

Dissertation: Correct by Construction Language Implementations

Project: Language Designer's Workbench (NWO VICI)

Co-supervised by Robbert Krebbers

Now: Postdoc at Delft PL

Topic: Transformation and analysis

Now: Postdoc at Delft PL

Topic: Dynamic semantics specification, interpreter generation

Project: Oracle ERO

Now: Data scientist | Co-Founder trendometrics.com nrgeenie.com

Dissertation: Declarative Syntax Definition for Modern Language Workbenches

Project: CAPES

Now: Postdoc at Australian National University

Topic: Spoofax language workbench

Project: NWO Open Competition

Now: Postdoc at TU Delft

Topic: Declarative data modeling, incremental computing, IceDust

Project: Language Designer's Workbench (NWO VICI)

Now: Software Engineer at Google

Topic: Declarative Web Programming, WebDSL

Now: Academic Workflow Engineer at Delft PL

Dissertation: Generic Tools, Specific Languages

Now: Independent

Dissertation: Language-Parametric Techniques for Language-Specific Editors

Project: MoDSE

Project: PDS

Project: MoDSE

Project: MoDSE

Now: OLX Group

Project: TFA

Project: TraCE

Dissertation: Abstractions for Transformations

Project: TraCE

Project: DSP Transformation (Philips)

Topic: Layout constraints

Project: Spoofax

Project: buildfarm

Project: Rust in Spoofax

Project: safe operator disambiguation

Topic: Incremental generalized parsing

Topic: Rename refactoring from static semantic specificiations

Topic: Mechanical verification of declarative disambiguation

Topic: Dynamic semantics using scopes-as-frames

Topic: Multi-language type checking