aalok thakkar: teaching

Monsoon 2025:

• 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-4076: Fundamentals of Program Analysis
• CS-IS-4077: Gödel

Summer 2025:

• FC-0306: Quantitative Reasoning and Mathematical Thinking
• CS-1102: Introduction to Computer Science

Spring 2025:

• CS-1102: Introduction to Computer Science
• CS-5440: Trustworthy AI
• CS-IS-3081: Philosophy of Mathematics
• CS-IS-3082: Theory of Probability
• CS-IS-3083: Games on Graphs

Monsoon 2024:

• CS-1204: Data Structures and Algorithms (assisting)
• CS-2260: Symbolic Logic and Applications
• CS-IS-3077: Rustification - An Introduction to Rust