Professionele Activiteiten
- 2014
-
- proseminar leider bij het vak formal language and automata theory
- PC-lid en lokale organisator bij HOR 2014 in Wenen, Oostenrijk
- 2012
-
- werkcollege assistent bij het vak advanced logic
- 2011
-
- werkcollege assistent bij het vak advanced logic
-
- werkcollege assistent bij het vak advanced logic
- een stage bij IBM, waar ik drie maanden met Dr. Kris Rose heb gewerkt aan het open source CRSX project, een project waarin hogere order termherschrijven als de specificatietaal wordt gebruikt om productie-compilers te genereren
- 2010
-
- onderwijsassistent bij de Internationale School over Herschrijving 2010 in Utrecht, Nederland
- organisatie van het Term Rewrite Seminar herfst 2010 in Amsterdam, Nederland
- werkcollege assistent bij het vak voortgezette logica
- 2009
-
- werkcollege assistent bij het vak voortgezette logica
- 2008
-
- werkcollege assistent bij het vak voortgezette logica