Resume

Bronco AI

Founding Engineer

AI agents for chip-design verification.

Python · TypeScript · C++ · SystemVerilog

14.ai

Founding Engineer

Agent platform for customer support, built from zero.

• Built the platform’s tracing and observability layer.
• Built the eval harnesses used to measure and improve agent quality.
• Built MCP, voice-assistant, and document-understanding integrations.

Effect.ts · React · Supabase

MIT CSAIL

Undergraduate Researcher, Programming Languages & Verification

Formal verification of hardware and compilers.

• Verified security properties of multiprocessor designs in Kôika, in Coq.
• Worked on ATL, verifying tensor-compiler output on C programs.

Coq

Structify

Machine Learning Engineer

Data and models for web agents.

• Built multimodal data pipelines producing SFT and DPO datasets for vision-language models.
• Built recommendation systems over vector, graph, and relational databases.
• Shipped API endpoints and observability on the Rust backend, and customer integrations in the Python SDK.

Python · Rust · PostgreSQL

Amazon Web Services

Software Engineer, BIOS & UEFI Firmware

Firmware for Intel-based bare-metal servers.

• Improved CPU–BMC hardware-interrupt processing over SSIF by 15%.
• Built Linux kernel telemetry for hardware interrupts and automated firmware testing.

C · x86 assembly · Linux

Cryptoclear

Software Engineer

Cryptocurrency transaction tracking.

• Built Spark ETL pipelines over Ethereum data and gradient-boosted models trained on them.

Python · PySpark · Go-Ethereum

Massachusetts Institute of Technology

B.S. Computer Science & Engineering; B.S. Mathematics