[Fall 2021] 2ITX0 Applied Logic — Teaching Assistant
Instructor for one of the instruction groups.
The below section contains an overview of my teaching activities over the past few years.
Instructor for one of the instruction groups.
Teaching assistant involved in the course design, and a set of on-campus workshops about the course material.
Instructor for one of the instruction groups.
Teaching assistant helping with the design of the course, its assignments, and the exam.
A new course, designed by Alexander Serebrenik, focussing on research methods for empirical Software Engineering. For this course I was involved in the design of the assessment, that is, the weekly quizzes, and the final assignment. All lectures for 2IMP40 have been recorded and can be found on Youtube.
Organised one of the instrution session and assisted in the grading
As a teaching assistant I helped with grading of exams, and the writing of a manual for jupyter notebooks
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.
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.
As a master student I assed in the grading and the design of some of the assignments.