Past Courses

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

back to homepage