Work experience

Software Engineer
Oct 2016 – Present
Seattle, WA
OCaml, Javascript, Hack
  • Implemented support for the Language Server Protocol in our internal IDE.
  • Migrated Hack to use the Language Server Protocol, providing support for all major editors.
  • Developed a linting system for Hack code written in Hack itself, making it accessible to library/framework teams.
  • Developed a refactoring system suitable for monorepo-scale code migrations.
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. 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.