Aalok Thakkar: Teaching

Spring 2026:

• CS-3330: Theory of Computation
• CS-3610: Information Security

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 (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)