See the About page for contact info. Here is my LinkedIn.
I’m currently looking for a full time permanent software position. I’m open to remote for the right opportunity, but on location near Boulder or Denver is ideal.
My current focus is developing tools to write more robust software. This could mean working on a compiler with a novel story for improving correctness. It could mean creating better tools for automated bug detection like static analysis or symbolic execution. It could mean working on internal tools for improving developer productivity. It could mean working on novel test frameworks, or libraries that make writing correct code easier. The area I’m most excited about is strongly typed pure functional programming like Haskell.
My primary professional experience is in large scale web backend systems. I’ve written both Scala and Java professionally for 5 years, working on critical user facing systems at Twitter and Gnip (Twitter’s enterprise streaming data division).
Experience
Twitter, Software Engineer, May 2014–November 2017
- Helped develop the backend for the Explore page, which serves millions of views per day. Explore is the second tab in the Twitter app and is the home for search, trends, moments, and other personalized content.
- Maintained and developed features for the Trends backend, which detects and surfaces trending terms and hashtags for display on Twitter properties.
- Designed, developed, and analyzed A/B tests for highly visible features such as associating periscopes with trends, personalized trend rankings, and others.
- Was an official instructor for an internal course on machine learning.
Gnip, Software Engineer, January 2013–May 2014 (Acquired by Twitter)
- Implemented a cutting edge data structure called a Cuckoo Filter. Our implementation of the Cuckoo Filter included several novel improvements to the original design in the 2014 paper. A compact data structure was needed to hold the set of recently deleted tweets in memory and filter them out before reaching the customer.
- Helped design and implement a system for archiving the Twitter firehose that could scale to multiple times the average load with complete data fidelity. The motto was “bend not break.”
- Migrated mission critical systems into the Twitter data center after the acquisition. This often required reworking components to run on smaller and less reliable commodity hardware.
- Helped teach Scala School, which was an internal course on Scala to help Gnip developers transition from Java to Scala.
- Performed maintenance on production Cassandra clusters with zero downtime and zero data loss.
Rational Systems, Software Intern, May 2012–September 2012
Academic
- University of Colorado at Boulder
- B.S. Computer Science, Software Engineering Track
- B.A. Philosophy, Completed With Distinction
- GPA: 3.84
- Phi Beta Kappa, Inducted 2010, Alpha Chapter of Colorado at the University of Colorado