Courses Taught Earlier

  1. CS 525: Formal Methods for System Verification
  2. CS 514: Mathematics for Computer Science, Autumn 2017-2018
  3. CS 515: Theory of Computation, Spring 2016-2017
  4. CS 202: Discrete Mathematics, Autumn 2016-2017
  5. CS 507: Logic in Computer Science, Spring 2015-2016
  6. CS 514: Mathematics for Computer Science, Autumn 2015-2016
  7. CS 522: Embedded Systems, Spring 2014-2015
  8. CS 205M: Theoretical Foundations of Computer Science (Minor Course), Autumn 2014-2015
  9. CS 101: Introduction to Computing, Spring 2013-2014
  10. CS 514: Mathematics for Computer Science, Autumn 2013-2014
  11. CS 522: Embedded Systems, Spring 2012-2013
  12. CS 514: Mathematics for Computer Science, Autumn 2012-2013
  13. CS 522: Embedded Systems, Spring 2011-2012
  14. CS 514: Mathematics for Computer Science, Autumn 2011-2012
  15. CS 522: Embedded Systems, Spring 2010-2011
  16. CS 331: Programming Languages, Autumn 2010-2011
  17. CS 204: Algorithms, Spring 2009-2010
  18. CS 331: Programming Languages, Autumn 2009-2010
  19. CS 522: Embedded Systems, Spring 2008-2009
  20. CS 525: Formal Methods for System Verification, Spring 2008-2009
  21. CS 331: Programming Languages, Autumn 2008-2009
  22. CS 507: Logic in Computer Science, Spring 2007-2008
  23. CS 241: Software Engineering, Spring 2007-2008
  24. CS 522: Embedded Systems, Autumn 2007-2008
  25. CS 241: Software Engineering, Spring 2006-2007
  26. CS 525: Formal Methods for System Verification, Autumn 2006-2007
  27. CS 504: Theoretical Foundations of Computer Science
  28. CS 302: Theory of Computation, Spring 2005-2006
  29. CS 301: Formal Languages and Automata Theory, Autumn 2005-2006
  30. CS 507: Logic in Computer Science, Autumn 2005-2006
  31. CS 302: Theory of Computation, Spring 2004-2005

back to homepage