, Bachelor Thesis, Leiden University. (Supervisor: Dr. Marcel de Jeu)
Regularity Properties and Determinacy
, Master Thesis, University of Amsterdam. (Supervisor: Dr. Benedikt Löwe)
Notes on Recursion Theory.
Some notes I wrote to help with a Recursion Theory course at the ILLC in 2007.
Note on Gödel's first incompleteness theorem.
Another short note for the same course.
Lecture notes on Infinite Games
. From an intensive course I taught at the IMF, University of Sofia, Bulgaria, in the Summer of 2010.