aalok thakkar: teaching

Monsoon 2025:

• CS-1102: Introduction to Computer Science (coming soon)
• CS-5310: Symbolic Logic and Applications (coming soon)

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