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 (Fall 2009)
  • EECS 203 Introduction to Computer Engineering (Spring 2009)
  • EECS 356 Introduction to Formal Specification and Verification (Spring 2008)
  • EECS 310 Mathematical Foundations of Computer Science (Fall 2007)
  • EECS 457 Advanced Algorithms (Spring 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)
  • ECE 303 Advanced Digital Logic Design (Spring 2002)