Jun 2023 – Oct 2025 · 2 yrs 4 mos · San Francisco, California, United States · Hybrid

• I run engineering, product, and design for a department building the fastest, easiest way to find and fix failing APIs, building on top of my startup Akita.

May 2018 – Jul 2023 · 5 yrs 2 mos · San Francisco Bay Area

• Simplifying observability. Funded by Sequoia, a16z, and Kevin Durant. Acquired by Postman.

Aug 2016 – Aug 2020 · 4 yrs

• Tenure-track faculty member in the Computer Science Department. Ran research group focused on programming language design and software verification. On leave as of September 2018.

Sep 2015 – Aug 2016 · 11 mos

• Deferred professor job at Carnegie Mellon to work on programming languages applied to protein signaling.

Jul 2012 – Oct 2012 · 3 mos · Menlo Park

• Designed and built verifier for backend privacy language. Obtained patent.

Jun 2010 – Sep 2010 · 3 mos

• Worked on F*, a security-typed programming language now widely used in the verification community. Became one of the authors on the first F* paper.

Jun 2009 – Sep 2009 · 3 mos

• Co-developed Verve, the first operating system verified automatically end-to-end for type-safety. Received Best Paper Award at the Programming Language Design and Implementation conference 2010. Obtained patent.

Aug 2008 – Aug 2015 · 7 yrs

• PhD student in CSAIL. Named to MIT Technology Review's Top 35 Innovators Under 35 in 2016 for my thesis work.

Jun 2008 – Aug 2008 · 2 mos

• Worked on a dependently typed functional language written in Haskell.

Jun 2007 – Aug 2007 · 2 mos

• Crawled the internet a bunch of times; built a bunch of classifiers.

May 2006 – Aug 2006 · 3 mos

• Scraped the internet and implemented statistical methods to trace evolution and coevolution of a set of presynaptic receptors.

Jun 2005 – Aug 2005 · 2 mos

• Implemented standalone data mapping UI for understanding flows between databases.