aalok thakkar
:
teaching
R. D. Raval,
Man Triumphant
(1963)
Monsoon 2024
:
CS-1204: Data Structures and Algorithms
(assisting)
CS-2260: Symbolic Logic and Applications
CS-IS-3077: Rustification - An Introduction to Rust
