Past, Current and Future Courses
03683XXX courses are intended mostly for undergraduates and 03684XXX are intended mostly for graduate students. Some of the links direct to the Moodle course system and require registration. Classes given prior to Fall 20145 where taught at the Technion.
Spring 2019
Fall 2018
Spring 2018
Spring 2017
Fall 20167
Spring 2016
Fall 201516
Spring 2015
 03683257 A research project in the theory of CS with Rotem Oshamn and Muli Safra

03682170 Logic for Computer Science
Fall 201415
Courses taught at the Techniom
Spring 2014
Fall 201314
Spring 2013
Fall 201213
Spring 2012
Fall 201112
 234293 Logic and set theory for Computer Scientists
 236605 Algebraic Methods in Computer Science and Combinatorics
Spring 2010
Fall 200910
Fall 20082009
 234293 Logic and set theory for Computer Scientists
 236605 Algebraic Methods in Computer Science and Combinatorics
Spring 2008
Fall 20072008
 236605 Research Pearls in Theoretical Computer Science
 236449 Algebraic Problems and Algorithms in Computer Science
Spring 2007
Fall 20062007
 236610 Algebraic Methods in Combinatorics and Computer Science
 236605 Expander Graphs and their Applications