Teaching

I am tutor for the course Advanced Functional Programming [SS22][SS23][SS24], professor Jens Knoop. In particular, I maintain the final project, MiniCheck.