Work with thought leaders and academic experts from Chennai Mathematical Institute

Researchers on NotedSource with connections to Chennai Mathematical Institute include Dr. Aalok Thakkar.

Dr. Aalok Thakkar

Seattle, Washington, United States of America
Research Scientist focussed on integrating formal methods and artificial intelligence.
Education

Chennai Mathematical Institute

Bachelor's of Science, Mathematics

Siruseri

University of Pennsylvania

Ph.D., Computer and Information Science / May, 2023

Philadelphia, Pennsylvania, United States of America
Research Expertise
programming languages
verification
logic
synthesis
Computer Science Applications
And 4 more
About
My research focuses on integrating **formal methods** and **artificial intelligence**. In particular, I have worked on applying formal methods in the context of programming-by-examples (PBE) for relational queries, synthesis of reactive programs, bounded model checking, and verification of smart contracts. Currently, I work with Movement Labs on designing the Fractal interpreter will allow users to deploy Solidity smart contracts directly on Movement's M1 blockchain. Previously, I have worked with Aptos Labs, Amazon AWS, Nokia Bell Labs, and Adobe India.

See Full Profile

More Information About Chennai Mathematical Institute