Background: Senior Software Engineer with experience in web development (TypeScript), compiler development (C++), and mentoring junior computer science professionals.
Web development focused on frontend work (TypeScript, React). Worked with design, product and engineering on the development of an internal component library to increase scalability and testability of React components. Created a new file browser page to enable customers to manage their own home plan documents.
Compiler development work in C++, Clang, and LLVM. Developed a new compiler for a C-based programming language in order to detect and prevent programming errors such as out-of-bounds memory accesses, as part of a team of four research engineers. Generalized the static checker responsible for verifying the validity of programmer-declared bounds invariants by generalizing the checker from variables to equivalence classes of lvalue expressions and reduced the amount of false positive warnings.
Built a new web application (TypeScript, React, Azure) with one other engineer to help engineering teams reduce the cost of running open-source projects by automating workflows for GitHub repositories, including triage, review, release announcement, project management, and automatic merging, powering 371 repositorities at Microsoft. Project was the winner of the 2019 Microsoft Fix, Hack, Learn award for the project with the highest impact.
Developed and maintained a front-end library of React components for building web, desktop, and mobile user interfaces, along with five engineers and one product designer. Drove the implementation of the Stack component (abstract CSS flexbox). Mentored three early university interns to build a Chrome Extension allowing users to build and track custom GitHub queries.