2026 — Now
Seattle, Washington, United States
Seattle, Washington, United States
Worked on a small team to design and implement a system to facilitate the transfer of granular certificates following an auction. I primarily worked on the Python backend but worked in a full-stack capacity, reviewing PRs and contributing directly to the Typescript frontend as well. This project included designing a self-documenting, complex state machine to track the stage various deliverables were in and building an email integration system used across multiple products that was available via both RESTful APIs as well as asynchronous message queues, utilizing GCP's PubSub and Pulumi.
2021 — 2022
Job ended due to startup failure.
Worked on a workplace automation solution that built a replayable program from a recording of a task. Point person for our compiler and interpreters, including feature expansion and mentoring new employees working on those components. Implemented our solution to combine multiple programs into a more general program, which created branches or user-input variables where needed. Responsible for updating and expanding tests involved the compiler, interpreter, and generalizer.
Was also involved in interviewing new potential hires.
2019 — 2021
Greater Seattle Area
Worked on testing scripts and building servers for a program synthesis-based solution to creating smart contracts automatically. Learned about program synthesis theory and methods and subsequently experimented with various approaches to using Z3 Theorum prover in this space.
While exploring pivot directions, worked on a prototype to use program synthesis to handle SQL database transformations.
After a pivot to workplace automations, worked on a solution that built a replayable program from a recording of a task on Windows. Mainly worked on implementing and improving various passes in our compiler as well as updating our interpreter as necessary to handle new program commands. Also worked on various other components as necessary, such as implementing our Django backend and building out new API endpoints using GraphQL. Was also responsible for writing and updating tests for anything I worked on.
2017 — 2019
San Jose
Developing in Python for the content analyzer and data extraction tool, Business Automation Content Analyzer. Main focuses have been on improving document classification and key-value extraction, both in performance and refactoring for clarity and modularization, whole solution architecture migration to a cloud-based, containerized approach, and developing a robust testing framework for the solution as a whole and individual test sets for my areas of specialty.
Previously worked on maintenance and feature development for Datacap.
Education
2013 — 2017
Tufts University
Bachelor's Degree
2013 — 2017
2015 — 2015
The University of Hong Kong
Bachelor’s Degree
2015 — 2015
2009 — 2013
Lakeside School
2009 — 2013