Bar-Ilan University:

• 2023-present: Lecturer, "Cloud Cryptography: Secure Data Outsourcing".

• 2022-present: Lecturer, "Cryptographic Proof Systems".

•  2021-present: Lecturer, "Cryptographic Protocols and Network Security".

• 2021-present: Lecturer, "Set Theory and Logic".

Technion:

• 2015-2016: Lecturer, "Automata and Formal Languages".

• 2011-2015: head T.A., "Automata and Formal Languages".

• 2014-2015: T.A., "Cryptography and Complexity".

• 2013-2014: T.A., "Selected Topics in Cryptography L".

• 2010-2011: T.A., "Automata and Formal Languages".