Experience

AI Researcher Nov 2026 – Present

Truth Audit Labs

Building compressed benchmarking for AI agents across text and voice modalities.

Research Associate Jun 2026 – Oct 2026

Ashoka University · Programming Languages

Developed novel algorithms for program synthesis. Worked on causal interventions and formalized results in Lean 4.

Software Engineer Nov 2025 – Mar 2026

Firebolt · Self-hosted Platform

Part of a three-engineer team building the self-hosted platform for Firebolt’s data warehouse. Built platform features such as feature flag management and infrastructure for air-gapped Temporal workflows.

Software Engineer Mar 2024 – Sep 2025

Google · Distributed Cloud

Built infrastructure for container registry management and an observability platform with alerting for air-gapped environments. Multi-cluster Kubernetes control planes, Kubernetes controllers, and CRDs were the bread and butter of the job.

Strategic Cloud Engineer Jul 2022 – Mar 2024

Google Cloud

Built prototypes of LLM-powered interfaces for tabular data exploration. Contributed open-source data processing templates for Spark and Hadoop on Dataproc.

Education

B.Sc. (Honours), Computer Science Aug 2018 – Apr 2022

Ashoka University

Major CGPA: 3.74/4.

Research

Graph Surgery and the Do-Operator: A Precise Correspondence for Acyclic Structural Causal Models

Satpreet Makhija · Preprint, Aug 2026.

Paper · Lean 4 formalization

Teaching

Teaching Fellow Monsoon 2026

Ashoka University · Data Structures and Algorithms