Past Courses

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

back to homepage