Welcome on my website! I am a PhD Candidate at the Programming Language Group at Delft University of Technology . Initially being supervised by Prof.Dr. Eelco Visser ♱ , I am now supervised by Prof.Dr. Arie van Deursen and co-supervised by Dr. Casper Bach Poulsen .
My research focusses on deriving industry-quality type checkers from declarative type system specifications. In particular, I am evaluating and improving the operational aspects of Statix , while collaborating with others to use typing results of Statix to develop language-parametric transformations and editor services.
I am currently working on improving the performance of the concurrent Statix solver by making it automatically incremental. The goal of this work is to develop a framework for incremental type checkers that is: