Shai BenDavid  Teaching
Teaching Awards

Excellence in Teaching Award, Hebrew University,
1996.

Best Lecturer of the Computer Science Faculty
(every
year, 19881996).

Muriel and David Jacknow Award for Excellence
in Teaching, 1994.

Technion Excellent Lecturer Award, 1990.
Teaching Experience
Courses I have composed (and were taught by myself, and later by others):

"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).
On top of these, I have also taught many regular courses, in both the graduate
and undergraduate levels, on a variety of topics in mathematics and theoretical
computer science. A sampling of these courses includes:
Back to my homepage