Dr. Aalok Thakkar

Research Scientist focussed on integrating formal methods and artificial intelligence.

Seattle, Washington, United States of America

Research Expertise

programming languages

verification

logic

synthesis

Computer Science Applications

Health Informatics

Health Information Management

Safety, Risk, Reliability and Quality

Software

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.

Legacy Map

Full View

Publications

Concurrency in Boolean networks

Natural Computing

2019

Example-guided synthesis of relational queries

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

2021

Reopening businesses and risk of COVID-19 transmission

npj Digital Medicine

2021

Early and Systematic Validation of Formal Models

Formal Methods and Software Engineering

2023

ArXiv preprint server plans multimillion-dollar overhaul

Nature

2016

Infinitude of Primes Using Formal Languages

The American Mathematical Monthly

2018

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates

Proceedings of the ACM on Programming Languages

2023

Relational Query Synthesis ⋈ Decision Tree Learning

Proceedings of the VLDB Endowment

2023

Reopening Businesses and Risk of COVID-19 Transmission

Unknown Venue

2020

Synthesis of coordination programs from linear temporal specifications

Proceedings of the ACM on Programming Languages

2019

On the Completeness of Compositional Reasoning

Computer Aided Verification

2000

On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP

16th IEEE International Workshop on Rapid System Prototyping (RSP'05)

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

Experience

Movement Labs

Research Engineer / February, 2024 — Present

Aptos Labs

Research Scientist / July, 2023 — January, 2024

Join Aalok on NotedSource!

Join Now

At NotedSource, we believe that professors, post-docs, scientists and other researchers have deep, untapped knowledge and expertise that can be leveraged to drive innovation within companies. NotedSource is committed to bridging the gap between academia and industry by providing a platform for collaboration with industry and networking with other researchers.

For industry, NotedSource identifies the right academic experts in 24 hours to help organizations build and grow. With a platform of thousands of knowledgeable PhDs, scientists, and industry experts, NotedSource makes connecting and collaborating easy.

For academic researchers such as professors, post-docs, and Ph.D.s, NotedSource provides tools to discover and connect to your colleagues with messaging and news feeds, in addition to the opportunity to be paid for your collaboration with vetted partners.