Teaching

The below section contains an overview of my teaching activities over the past few years.

[Spring 2020] 2IMP25 Software EvolutionTeaching assistant

As a teaching assistant for Software Evolution I assisted in the design of assignment for students, and with grading reports and sourecode. While contributing to the course I wrote a small Docker program that can be used to grade the code submitted by students based on its output on test data.

[Fall 2019] 2ITX0 Applied LogicTeaching assistant

Applied logic is a first year elective for Bachelor students focussing on the infromation theory and SMT solving. For Applied Logic I gave instrutions, and helped with grading the homework and exam.

[Spring 2019] 2IMP25 Software EvolutionTeaching assistant

As a master student I assed in the grading and the design of some of the assignments.