- 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.
- "Unbeatable Stragies". A short lecture series on infinite games I taught during the H.I.M. semester programme Stochastic Dynamics in Economics and Finance, June 2013, Bonn, Germany. Adapted from the notes above.
- Slides to the above lecture series: Slides Part 1, Slides Part 2.