Shai Ben-David -- Teaching

Teaching Awards

• Excellence in Teaching Award, Hebrew University, 1996.
• Best Lecturer of the Computer Science Faculty (every year, 1988-1996).
• Muriel and David Jacknow Award for Excellence in Teaching, 1994.
• Technion Excellent Lecturer Award, 1990.

Teaching Experience

• "Computational Learning Theory" (developed at Technion in 1992 by Eyal Kushilevitz and myself and has been taught regularly since then).
• "Foundations of Mathematical Analysis for Computer Science" (Introduction to general topology and measure theory with applications to theoretical CS; was developed at Technion in 1989 and has been taught regularly ever since).
• "Logic for Computer Science 1" (This is a compulsory course in the Technion CS program, and since 1989 is based on my version).
• "Logic for CS 2" (This is an elective course, taught in the Technion CS department every other year).
• "Complexity of Proofs and Computations" (Hebrew University, fall 1996, Technion, spring 1996).

• "Automata and Formal Languages" (about 5 times at Technion, more than 100 students per class).
• "Computational Complexity" (Technion 1999).
• "Introduction to Theory of Computing" (Cornell University, CS381, about 180 students).