Selected Work

A collection of systems designed for reliability, privacy, and correctness.

Deployed Apps & Libraries

Live projects compiled directly from GitHub repositories with public websites.