teaching

Courses

  • 2023 - ...
    Advanced Topics in Automata, Languages and Compilers 🇪🇪
    Institute of Computer Science, University of Tartu, Estonia
    • Course development
    • Lecturer
    • Lab instructor
    • 2023, 2024
  • 2018 - ...
    Automata, Languages and Compilers 🇪🇪
    Institute of Computer Science, University of Tartu, Estonia
  • 2017 - 2020
    Programming Languages 🇪🇪
    Institute of Computer Science, University of Tartu, Estonia
  • 2018
    Object-oriented Programming 🇪🇪
    Institute of Computer Science, University of Tartu, Estonia
    • Lab instructor, advanced group
    • 2018

Supervision

2023

  1. MSc
    Adapting an Alarm Repositioning Algorithm to Data Races
    Karoliine Holter
    University of Tartu, 2023
    Supervisors: Vesal Vojdani, Simmo Saan
  2. BSc
    Abstract debugger for Goblint 🇪🇪
    Juhan Oskar Hennoste
    University of Tartu, 2023
    Supervisor: Simmo Saan