Ongoing Courses:
- CS-1102: Introduction to Computer Science
- CS-5310: Symbolic Logic and Applications
- CS-6101: Computer Science Research Methods and Seminars
- CS-IS-3091: AI for Sustainability
- CS-IS-4077: Gödel
All Courses:
-
FC-0306: Quantitative Reasoning and Mathematical Thinking
(Summer 2025) -
CS-1102: Introduction to Computer Science
(Spring 2025, Summer 2025, Monsoon 2025) -
CS-5440: Trustworthy AI
(Spring 2025) -
CS-5310: Symbolic Logic and Applications (previously CS-2260)
(Monsoon 2024, Monsoon 2025) -
CS-6101: Computer Science Research Methods and Seminars
(Monsoon 2025)
Independent Study Modules:
- CS-IS-3077: Rustification - An Introduction to Rust (Monsoon 2024)
- CS-IS-3081: Philosophy of Mathematics (Spring 2025)
- CS-IS-3082: Theory of Probability (Spring 2025)
- CS-IS-3083: Games on Graphs (Spring 2025)
- CS-IS-3091: AI for Sustainability (Monsoon 2025)
- CS-IS-4077: Gödel (Monsoon 2025)