Teaching
King’s College London
- Formal Verification, 2016-
- Advanced Computer Science Logic: 2017–2018
- Software Testing and Advanced Software Engineering, 2014-2020
- Foundations of Computing, 2014-2016
- Principles of Management, 2013-2015
Hebrew University of Jerusalem
- Algorithms (teaching assistant)
- Foundations of complexity and formal languages (teaching assistant)