2023/2024

  • Introduction to Type Theory: from foundations to practice, PhD in Computer Science and Systems Engineering, MSc in Mathematics (Instructor)

  • Principles and Paradigms of Programming Languages, MSc in Computer Science (Instructor)

  • Languages and Object-Oriented Programming, BSc in Computer Science (Instructor)

2022/2023

  • Introduction to Type Theory from foundations to practice, PhD in Computer Science and Systems Engineering, MSc in Mathematics (Instructor)

2021/2022

  • Introduction to Type Theory from foundations to practice, PhD in Computer Science and Systems Engineering (Instructor)

2019/2020

  • Automata Theory and Computability, BSc in Computer Science (Teaching Assistant)

2018/2019

  • Automata Theory and Computability, BSc in Computer Science (Teaching Assistant)

  • Principles and Paradigms of Programming Languages, MSc in Computer Science (Teaching Assistant)

2017/2018

  • Foundations of Computer Science, BSc in Computer Science (Teaching Assistant)

  • Advanced Data Management, MSc in Computer Science (Teaching Assistant)