Work experience

Software Engineer
Oct 2016 – Present
Seattle, WA
OCaml, Javascript, Hack
  • Migrated the Hack programming language to the Language Server Protocol, adding IDE support for most editors.
  • Created linting and refactoring system for Hack developers to write their own lint rules and refactorings.
  • Improved the latency of internal OCaml IDE tooling by a factor of 20.
SWE Intern
May 2016 – Aug 2016
Seattle, WA
HTML, CSS, Javascript, Hack, MySQL
  • Created dependency graph visualization for internal code review tool.
  • Combined configuration changes and source code changes into one workflow.
SDE Intern
May 2015 – Aug 2015
Seattle, WA
Java, XML, DynamoDB
  • Calculated and displayed savings to customers for all digitally pre-ordered items.
  • Detected large-scale pre-order release events in order to scale preemptively.
Instructional Assistant
Sep 2014 – Apr 2016
Ann Arbor, MI
HTML, CSS, Javascript, PHP, Python, Perl, MySQL, Bash
  • Heavily streamlined staff workflow by overhauling automatic-grading web application.
  • Developed automated project deployment system for rapid iteration on project specifications.

Projects See more on Github... (More on Github)

Lichess HTML, CSS, Javascript, Scala, Bash

Contributed to the second-most popular chess-playing website on the internet. Added automated setup of the development environment using Vagrant as well as continuous integration with Travis CI, detecting multiple broken builds.

mtg-updater HTML, CSS, PHP, Python

Automatically scraped card data from a Magic: the Gathering website for use in Cockatrice, to provide the most up-to-date data available. Data was downloaded more than 40,000 times over the project's lifetime.

drafts.ninja HTML, CSS, NodeJS

Fork of a real-time multiplayer website to build Magic: the Gathering decks competitively. Added several missing features, such as connection indicators, backup card picks, and partially-automated deck construction.

Cockatrice C++, Qt

Contributed to an open-source game engine. Plays trading-card games, such as Magic: the Gathering, online. Written with the Qt framework for C++ for GUI and networking.