Courses

I have been a teaching assistant in the following courses:

• Computability and Logic in 2018, 2019, 2020 and 2021
• Compilation in 2019
• Foundations of Algorithms and Datastructures in 2018
• Computerarchitecture, Networks and Operating Systems in 2018

I have given the following guest lectures:

• Language Based Security on the topic of Capabilities
• Computability and Logic on the topic of Model Learning