Resume

You can find a summary of my experiences in the workplace below, going back all the way to my teens.

Feel free to disregard what doesn't interest you.

Education

San Francisco State University

• Masters of Arts, Mathematics
• **2025 - ***

Description of Coursework

Starting a degree program in Spring 2025.

University of California, Berkeley

• Bachelors of Arts, Dual Degree Mathematics and Philosophy
• 2010 - 2014

Description of Coursework

Completed coursework in pure mathematics including graduate work in algebra and algebraic topology, and in philosophy with a focus in the history of philosophy and especially the Modern rationalists like Spinoza.

Positions

Senior Software Engineer (L64)

• Microsoft · Full-time
• Aug 2022 - Present
• Hybrid

Duties

Working on next generation AI integrations with search and other productivity tooling, including but not limited to:

• Contributions to search integrations in Copilot, helping to unlock improvements in the quality and configurability of search results, both web and tenant focused.
• Elaboration and implementation of the extensibility pipeline for Copilot supporting both 1st and 3rd party plugins and other extensions.
• Supporting research in longer term feature sets for Copilot, including but not limited to:
  • Systems to leverage LLMs as backing for on the fly program synthesis in restricted domains.
  • Orchestration to support async and delegated task execution by agents on behalf of users.
  • Personalization and conversational memory systems for LLM agents.

Languages and Tools:

• C#
• React
• Typescript
• Python
• Generative AI

Senior Software Engineer (L63)

• Microsoft · Full-time
• Jun 2021 - Aug 2022 · 1 yr 2mos
• Hybrid

Duties

Worked on dialogue systems to enable computers to assist people in response to natural language, specifically system as described in this blog post regarding the Semantic Machines organization's Express runtime and dialogue agent framework or in this ACM Queue publication of same.

Highlights include:

• Extend and maintain constraint solver, including extending the power of solving process, providing improved tooling for visualization of the solving process for end users, producing benchmarks for automated performance testing of the constraint solver, and debugging issues reported by end users.
• Implement and assist in design of incremental compilation scheme for the compiler, reducing compilation time for some codebases in language tooling by up to 80% in some scenarios, and improving the speed of developer tooling, like language servers, even more significantly.
• Extend and improve REPL for programming language, including support for replaying prior turns, improved parsing of turns, and addition of user meta commands among other features.

Languages and Tools:

• Scala
• Typescript
• Graal VM

Senior Data Engineer II

• Credit Karma · Full-time
• Jun 2021 - May 2022 · 1 yr
• Hybrid

Duties

Owner of core infrastructure and platform to execute machine learning models in an online setting.

Highlights include:

• Lead partner with infrastructure team in effort to migrate core online model scoring platform to a different machine and cluster type, reducing required core count by 38%, effectively reducing cost per month by hundreds of thousands of dollars.
• Designed a synthetic testing system to allow for deterministic validation of new partnerships against the production system, expediting turnaround time for new partnerships by weeks without risk of affecting actual users.

Languages and Tools:

• Scala
• Rust
• PostgreSQL

Senior Data Engineer

• Credit Karma · Full-time
• Feb 2019 - Jun 2021 · 2 yrs 5 mos
• Hybrid

Duties

Owner of core infrastructure and platform to execute machine learning models in an online setting. Duties include cross functional work with data science and analytics to support new experiments and model types, along with general software engineering and stabilization of platform. Core owner of primary revenue generating system of the organization.

Highlights include:

• Refactored and partially redesigned core online model scoring platform, reducing fault rate for revenue critical components by an order of magnitude.
• Migrated core online model scoring platform from on-premises infrastructure to cloud provided Kubernetes infrastructure, consolidating on company standard infrastructure and minimizing snowflakes while increasing ease and stability of deployments.
• Designed and implemented deployment of Tensorflow Serving for online model scoring, allowing data scientists to leverage new functionalities and model types.
• Implemented system to decouple model deployments from code deployments, allowing independent iteration on the part of data science, and ensuring production model pushes take only minutes instead of hours or days.
• Led implementation of testing system to allow for deterministic testing of content served by recommendation system in lower environments including both command line and graphical interfaces for use by non-technical QA or partnerships team members, decreasing by days time required for QA work, and unlocking automated QA for recommendation system supported site functionalities.

Languages and Tools:

• Scala
• Rust

Software Engineer - Platform

• Earnest Inc · Full-time
• Sep 2016 - Feb 2019 · 2 yrs 6 mos
• 303 Second Street San Francisco, CA · On-site

Duties

Responsible for cross-functional work supporting engineering teams across the organization by implementing both services and libraries to increase productivity and quality of work.

Highlights include:

• Designed and implemented a service to automatically ingest school data from government sources, obviating multiple dozen engineering hours of effort per year. Completed related migration work consolidating multiple sources of truth to one and eliminating a source of bugs from the architecture.
• Built first continuous deployment pipeline at Earnest with contract testing and end-to-end testing to maintain integrity of deployed artifacts.
• Standardized internal authentication solution across architecture by implementing and integrating standard libraries for JWT token validation and stateless authentication.
• Owned and maintained services in production, including updating of dependencies and incident resolution.
• Created multiple components in Earnest’s shared Jenkins pipeline library to centralize common pipeline logic, increasing maintainability and ease of deployment.
• Automated multiple highly manual SOC controls, shearing multiple hours from those processes and improving the quality of produced evidence.
• Lead charge in deleting unused microservices from production, reducing technical debt.
• Onboarded multiple engineers to the rudiments of functional programming in Scala.

Languages and Tools:

• Scala
• PostgreSQL
• Python
• JavaScript
• Node.js

Mathematician Developer / Support Engineer

• Hurricane Electric · Full-time
• Oct 2014 - Sep 2016 · 2 yrs
• 760 Mission Court, Fremont CA · On-site

Duties

• Performed a variety of duties ranging between responsibilities in data center operations, software development, and customer oriented technical support and trouble shooting.
• Produced components to randomly generate problems and exercises in mathematical topics such as number theory.

Languages and Tools:

• Python

Speaker Construction

• Meyer Sound · Full-time
• May 2011 - Sep 2011 · 5 mos

Duties

• I constructed finished product from the initial stages through to testing.
  • This involved the use of power tools and industrial adhesives to assemble a variety of parts in often complicated and obscure ways.

DMR Entry

• Meyer Sound · Full-time
• May 2010 - Sep 2010 · 5 mos

Duties

• Entered reports on deficient materials and recorded the reasons for the deficiency, in some cases investigating the causes of these deficiencies.
  • When these deficiencies were caused by our supplier, I pursued refunds from the company's suppliers both domestically and abroad.

Concessions and Security Volunteer

• The Vera Project
• 2008 - 2010 · 2 yrs
• Warren Ave N, Seattle, WA 98109

Duties

• As a concessions worker, conducted transactions with members of the public, to keep track of the number of items of a given type sold per night, and to conduct arithmetic mentally in sometimes complicated and multi-part transactions.
• As a security worker,
  • tactfully and discreetly examined people's personally belongings
  • dealt with potentially difficult or inebriated customers in a minimally disruptive manner.