aalok thakkar
:
teaching
R. D. Raval,
Man Triumphant
(1963)
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
