aalok thakkar.

Aalok Thakkar

I am an assistant professor in the department of Computer Science at Ashoka University. I specialize in the areas of programming languages, formal logic, and artificial intelligence.

In 2023, I obtained my Ph.D. advised by Rajeev Alur and Mayur Naik. During this time, I developed the example-guided framework for synthesis of relational queries.

In the past, I have worked with Adobe Systems, Aptos Labs, AWS Automated Reasoning Group, Laboratoire Specification et Verification, Nokia Bell Labs, and Movement Labs.

news:

Dec 2024: I will be presenting some of my doctoral work at the Research Highlights in Programming Languages co-located with FSTTCS 2024.

Oct 2024: I will be visiting Indian Statistical Institute and giving two talks on October 28 and October 29.

Oct 2024: I will be panelist for “Art in the Age of AI - Creativity or Code?" at Hearth Advisors' and India Habitat Centre's Trendspotting series.

Sep 2024: A poem of mine titled 'End of the World' was published in The Aleph Review .

Aug 2024: I will be teaching a course on Symbolic Logic and Applications (SLAps) and an ISM on Rust in Monsoon 2024.