معرفی
Aalok Thakkar is an Assistant Professor in the Department of Computer Science at Ashoka University, specializing in Programming Languages, Formal Logic, and Artificial Intelligence. He earned his Ph.D. in 2023 from the University of Pennsylvania, advised by Rajeev Alur and Mayur Naik.
His research focuses on example-guided synthesis of relational queries, with applications in program verification, automated reasoning, and AI. Recent work includes the Mobius framework (OOPSLA 2023) and Relational Query Synthesis ⋈ Decision Tree Learning (VLDB 2023).
- Published in npj Digital Medicine (2021) on pandemic risk modeling
- Contributed to Natural Computing (2020) on Boolean network concurrency
- Workshop papers on synthesis algorithm complexity (SYNT 2022) and reactive systems (SYNT 2020)
He was previously affiliated with Adobe Systems, Aptos Labs, Amazon AWS, and Bell Labs. Awards include the Alt Carbon Darjeeling Revival Fellowship.
Teaching includes courses on Symbolic Logic, Rust programming, and Games on Graphs. He will host an IndiCS Seminar on Automated Synthesis in 2025.
Aalok Thakkar در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMadhusudan ParthasarathyUniversity of Cincinnati · استاد
- FFriedrich SlivovskyUniversity of Liverpool · پژوهشگر
Xiaokang QiuMassachusetts Institute of Technology · دانشیار- AAdithya MuraliUniversity of Illinois Urbana-Champaign · استادیار
Paramita KoleyMax Planck Institute for Software Systems · پژوهشگر- IIgnacio CastroMax Planck Institute for Software Systems · استادیار