Courses Taught Earlier

  1. CS 514: Mathematics for Computer Science, Autumn 2011-2012
  2. CS 522: Embedded Systems, Spring 2010-2011
  3. CS 331: Programming Languages, Autumn 2010-2011
  4. CS 204: Algorithms, Spring 2009-2010
  5. CS 331: Programming Languages, Autumn 2009-2010
  6. CS 522: Embedded Systems, Spring 2008-2009
  7. CS 525: Formal Methods for System Verification, Spring 2008-2009
  8. CS 331: Programming Languages, Autumn 2008-2009
  9. CS 507: Logic in Computer Science, Spring 2007-2008
  10. CS 241: Software Engineering, Spring 2007-2008
  11. CS 522: Embedded Systems, Autumn 2007-2008
  12. CS 241: Software Engineering, Spring 2006-2007
  13. CS 525: Formal Methods for System Verification, Autumn 2006-2007
  14. CS 504: Theoretical Foundations of Computer Science
  15. CS 302: Theory of Computation, Spring 2005-2006
  16. CS 301: Formal Languages and Automata Theory, Autumn 2005-2006
  17. CS 507: Logic in Computer Science, Autumn 2005-2006
  18. CS 302: Theory of Computation, Spring 2004-2005

back to homepage