SPLASH/ISSTA 2026 (series) / Aalok Thakkar
Registered user since Mon 2 Aug 2021
Name:Aalok Thakkar
Country:United States
Affiliation:Ashoka University
Personal website: https://aalok-thakkar.github.io
X (Twitter): https://x.com/AalokDThakkar
GitHub: https://github.com/aalok-thakkar
Research interests:Formal Methods, Logic
Contributions
Using general profile