Selected Professional Activities
- 2014
-
- proseminar leader in the course formal language and automata theory
- PC member and local organiser of the 7th International Workshop on Higher-Order Rewriting, Vienna, Austria
- 2012
-
- teaching assistant in the course advanced logic
- 2011
-
- teaching assistant in the course advanced logic
- a three-month internship at IBM, where I worked with Dr. Kris Rose on the open source CRSX project, which uses higher-order rewriting as a specification language to generate production-level compilers
- 2010
-
- teaching assistant in the International School on Rewriting 2010 in Utrecht, the Netherlands
- organising the Term Rewrite Seminar autumn 2010 in Amsterdam, the Netherlands
- teaching assistant in the course advanced logic
- 2009
-
- teaching assistant in the course advanced logic
- 2008
-
- teaching assistant in the course advanced logic