Like his teacher, Plato professed to believe that the one
effective way of imparting knowledge and fostering wisdom is by the spoken
word. - E. T. Bell
Courses
EECS 357 Introduction to VLSI CAD (Winter 2014)
EECS 356 Introduction to Formal Specification and Verification (Winter 2013)
EECS 457 Advanced Algorithms (Fall 2012)
EECS 203 Introduction to Computer Engineering (Spring 2012)
EECS 303 Advanced Digital Design (Fall
2011)
EECS 310 Mathematical Foundations of Computer Science
(Fall 2007)
EECS 336 Design and Analysis of Algorithms (Winter 2007)
ECE 510 Formal Techniques in Design and
Verification (Spring 2003)
ECE 459 VLSI Algorithmics (Winter 2002)