Queen Mary University of London

• Compilers: 2017-2018
• Parallel Computing: 2017-2018
• Program Specification: 2014-2018
• Computability: 2014-2016
• Project supervision at undergraduate and masters levels: 2014-2018

Tel Aviv University

• Compiler construction: Fall 2005, Fall 2004
• Software engineering: Spring 2004 - C programming language, basic Unix, C-shell, Makefile.
• Workshop on Security: Fall 2003