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)