Teaching
King’s College London
- Advanced Computer Science Logic: 2017–2018
- Formal Verification, 2016-
- Software Testing and Advanced Software Engineering, 2014-
- 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)