2021-present: Lecturer, "Set Theory and Logic", Bar-Ilan University.
2015-2016: Lecturer, "Automata and Formal Languages", Technion.
2011-2015: head T.A., "Automata and Formal Languages", Technion.
2014-2015: T.A., "Cryptography and Complexity", Technion.
2013-2014: T.A., "Selected Topics in Cryptography L", Technion.
2010-2011: T.A., "Automata and Formal Languages", Technion.
2010-2011: T.A., "Automata and Formal Languages", Technion.