Teaching

@ CS Department, BIU

Lecturer

• Automata, Games and Verification advanced lecture, spring 2025.
• Hyperproperties seminar, winter 2024-2025.

@ Saarland University

Co-Lecturer

• Automata, Games and Verification advanced lecture, winter 2022-2023.
• From Program Verification to Synthesis proseminar, summer 2022.

@ CS Department, Technion

Teaching Asistant & Teaching Assitand in Charge

• 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

Teaching Asistant

• Object Oriented Programming summer 2013.
• Database Theory spring 2013.
• C++ Programming winter 2012-2013.