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)