He designs and implements declarative metalanguages for the Spoofax Language Workbench, including languages for name binding (NaBL) and type systems. His research focuses on new linguistic abstractions in metalanguages, which enable declarative definitions of software languages and form a single basis for efficiently executing various language-processing tasks.