CS & AI Department, Bar-Ilan University
- Programming Languages: Winter 2026-27.
- Automata, Games & Verification: Winter 2026-27, Winter 2025-26, Spring 2025.
- Hyperproperties, Seminar: Spring 2027, Spring 2026, Winter 2024-25.
Saarland University
- Automata, Games & Verification: Winter 2022-23.
- From Program Verification to Synthesis: Summer 2022.
CS Department, Technion (TA)
- Introduction to Set Theory and Automata: Winter 2018-2019 to Spring 2021.
- Automata and Formal Languages: Spring 2016 to Spring 2018.
- Database Management Systems: Winter 2014-2015 to Winter 2015-2016.
Azrieli College of Engineering (TA)
- Object-Oriented Programming: Summer 2013.
- Database Theory: Spring 2013.
- C++ Programming: Winter 2012-2013.