
Information Theory (MSc)
University of Amsterdam, Fall 2016, Fall 2017, Fall 2018, Fall 2019. (TA)
An overview of classical information theory starting from the definition of entropy up until Shannon's noisychannel coding theorem. Topic range from encryption and errorcorrection to data compression. As a TA, I wrote most of the lecture notes, designed and graded homework assignments and final exams, and guided work sessions. We saw the course grow from just 30 students in 2016 to 120 students in 2018. In that year, I helped redesign the course into a flippedclassroom style course with elements of teambased learning. In 2019, I took over most of the responsibility of the second half of the course, while the main teacher was on sabbatical.

Quantum Cryptography (project) (MSc)
University of Amsterdam, Summer 2017, Summer 2018 (TA)
A minicourse on quantum cryptography, based on the edX course designed by TU Delft. As a TA, I guided some of the discussion sessions (approx. 5 students) and graded homework assignments.

Mathematics for AI (BSc, year 1)
Utrecht University, Fall 2012 (TA)
An introductory course on set theory and linear algebra. As a TA, I guided one of three work sessions and graded homework assignments.

Logical Complexity (BSc, year 3)
Utrecht University, Spring 2012 (TA)
An introduction to computational complexity theory, with a strong focus on automata theory. As a TA, I guided the work session.

Natural Language Processing (BSc, year 2)
Utrecht University, Fall 2011 (TA)
How to determine the syntactic and semantic properties of a sentence, using lambda calculus, natural deduction, and proof nets. As a TA, I guided one of two work sessions and graded homework assignments.

Introduction to Logic (BSc, year 1)
Utrecht University, Fall 2010 (TA)
An introduction to mathematical logic including semantic tableaux and natural deduction for propositional and firstorder predicate logic. As a TA, I guided one of three work sessions and graded homework assingments.