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 )