Courses Taught Earlier

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

back to homepage