Hello! I’m a recent computer science graduate from MIT (’19 B.S. and ’20 MEng). I specialize in systems and devops and have an interest in formal methods.

My interests include:

• Distributed systems: topics like CRDTs (esp delta-CRDTs), state machine replication, and p2p communication are fascinating. Generally techniques to make something typically dependent on a central authority more decentralized are very interesting to me. Specific interests have included raft/paxos, HotStuff, and libp2p.
• Devops. I love controlling managing servers and deploying hermetic builds. My specific interests center around using Nix (the package manager, Linux distro, and DSL) to declaratively control my systems.
• Math:
  • Topics: probability, category theory
  • After taking 6.856, I am constantly looking for places to sprinkle in randomness to improve algorithmic performance with high probability.
  • I am fascinated with the Curry-Howard-Lambek correspondence.
• All things low level. This includes embedded and osdev as well as clever optimizations to code (e.g. utilizing simd, cache locality, concurrency/parallelism, etc). 6.172 imparted an awareness of low level things that’s hard to ignore.

I begin my PHD in PL/Formal Methods this fall (’23) at Yale. I’m currently working as a Systems Engineer at Espresso Systems. Before Espresso, I worked at Draper Laboratories on systems-ey things. Before Draper, I was an RA at CSAIL.