
Registered user since Fri 6 Dec 2024
Name:Kartik Chandra
Country:United States
Affiliation:MIT
Personal website: http://cs.stanford.edu/~kach
X (Twitter): https://x.com/_k_a_c_h_
GitHub: https://github.com/kach
Contributions
POPL 2025-profile
View general profile
View general profile