Teaching

  • 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 noisy-channel coding theorem. Topic range from encryption and error-correction 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 flipped-classroom style course with elements of team-based 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 mini-course 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 first-order predicate logic. As a TA, I guided one of three work sessions and graded homework assingments.