Projects

A lightweight recorder that logs everyday computer use (keyboard, screen, mouse events) as structured traces for computer-use agent development.

See demo

Conformal prediction for LLM-as-judge systems to quantify evaluation uncertainty. Includes LLM-as-judge evaluation using Sonnet 4, multiple conformal prediction strategies, and interactive visualization for uncertainty quantification.

Research on novel runtime systems for multi-tenant satellite operations using eBPF. Addresses the challenges of managing hundreds of commodity SmallSats under intermittent communication. Published at ACM HotNets '25.