Teaching
The below section contains an overview of my teaching activities over the past few years.
[Spring 2020] 2IMP25 Software Evolution — Teaching 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 Logic — Teaching 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 Evolution — Teaching assistant
As a master student I assed in the grading and the design of some of the assignments.
