Teaching

For students: If I have the time, I am happy to take on bachelor’s and master’s theses in my area of expertise. The best way to figure out whether I am available or not is to write me an email.

I am currently teaching/set to teach:

• Autumn 2024: DM580 Functional Programming
• Spring 2025: DM893 Quantum Computing

In the past, I have taught:

• Spring 2024: DM575 Objektorienteret programmering
• Autumn 2023: DM893 Quantum Computing
• Spring 2023: DM575 Objektorienteret programmering
• Spring 2022: Categories and Quantum Informatics (at University of Edinburgh)
• Autumn 2020: Grundlæggende datalogi (at University of Copenhagen)
• Autumn 2019: Logic in Computer Science (at University of Copenhagen)
• Spring 2019: Softwareudvikling (at University of Copenhagen)
• Spring 2019: Programming Language Design (at University of Copenhagen)
• Autumn 2018: Logic in Computer Science: Models and Proofs for Systems (at University of Copenhagen)
• Autumn 2018: Logic in Computer Science: Models and Proofs for Systems (at University of Copenhagen)
• Autumn 2017: Logic in Computer Science: Models and Proofs for Systems (at University of Copenhagen)
• Autumn 2016: Logic in Computer Science: Models and Proofs for Systems (at University of Copenhagen)
• Autumn 2015: Logic in Computer Science: Models and Proofs for Systems (at University of Copenhagen)
• Spring 2015: Topics in Programming Languages (at University of Copenhagen)