Recent teaching:

Tel-Aviv University:

• Computational Models 2010

• Logic for CS 2010

Previous courses:

Jerusalem College of Engineering (JCE):

• Discrete Mathematics I and II

• Digital Systems

• Computer Architecture and Design

• Introduction to Program Verification

Tel Aviv University:

• Logic for CS: Spring 2008, Winter 2008

• Non-classical Logics and Applications Seminar: Winter 2008

• Discrete Math

Tel Aviv - Yaffo Academic College (MTA):

• Logic for CS: Winter 2008

• Computer Architecture

• Introduction to C

Technion:

• Advanced topics in Categorial Grammars

• Numerical Analysis

• Computer Architecture and Design

• Introduction to C