I am a PhD student at the Programming Languages group at Delft University of Technology. My research focuses on specification of static semantics. In particular, developing constraint approaches to type checking that support rich name binding patterns. My work is implemented as part of the Spoofax Language Workbench. I am being supervised by Prof. Dr. Eelco Visser.