During the current academic year he teaches:
Introduction to Computer Science
(winter semester)
Complexity Theory
(spring semester up of academic year 2002-03)
Automated Reasoning (spring semester up to academic year 2002-03)
Advanced Computer Architecture(spring semester 2005-06)
Introduction to Cryptography
(spring semester )