Recent teaching:

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:

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