About me

I am a backend engineer with a strong interest in type theory and writing testable, maintainable code. I have experience in nearly every part of the stack from database schemas to kubernetes cluster management to metrics and alerting.

I was team leader on two student-designed-and-built engineering payloads chosen by NASA to fly on a suborbital sounding rocket.

My personal interests include astrodynamics, computational physics, numerical analysis, guidance, navigation, and control theory. I love board games, video games, "pixel" art, film photography, pool, plants, traditional hot rods, woodworking, soccer, spooky stuff, writing, fiction, and music. I've been playing guitar since 2004.

I started writing code in 2013 using a mod for Kerbal Space Program called kOS, which allows you to write your own flight code for your spacecrafts. I wrote my own library and implemented quite a few different space missions, including an Apollo-style moon landing, a Skycrane-style rover delivery to Mars, and a geostationary satellite network installer.

Education

Applied Mathematics, B.S. — Metropolitan State University of Denver, 2020

  • Majored in applied mathematics with a concentration in differential equations and numerical analysis
  • Minored in computer science and physics
  • Awarded academic honors, Dean’s List, President’s List, Provost’s List, Mathematics and Computer Science department Certificate of Achievement
  • Tutored for the Math & CS Department

Skills

Languages

Python, SQL, Go, TypeScript, Haskell, Julia, Java

General

git, Kubernetes, Google Cloud Platform, Protobuf, gRPC, Vault, Grafana, Docker, Postgres, SQLAlchemy, Flask, Github Actions, WSL, Bash, GNU make

Experience

Software Engineer — Randori, An IBM Company, 2022 — present

  • Lead efforts to improve our CI/CD pipeline with pre-commit, Github Actions, and GNU make using Black, Ruff, mypy, Poetry, and pytest
  • Architected a green-field project to sync various data stores across multiple k8s clusters to a central repository with protobufs over gRPC, using a Go server and a Python client
  • Implemented a replacement client onboarding pipeline using Go, k8s CRDs, Vault, and GCP Secret Manager
  • Refactored a high-maintenance human-based internal user permissions management process into a fully automated service with Go
  • Improved database performance through normalization, Postgres extensions, indexes, and partitions
  • Spearheaded major developer experience improvements in our Python codebase through architectural changes to project structure and type checking which resulted in a significant increase in average test coverage across the codebase, and a drastic decrease in code complexity
  • Developed commandsets for internal Python CLI tooling that enabled sales engineers to more quickly and easily demo products to prospective customers using Pandas, Rich, cmd2, and Pydantic

Software Developer I — Amerisave Mortgage, 2021 — 2022

  • Implemented numerous REST HTTP/json API microservices using Axios and Fastify
  • Deployed services via JFrog Artifactory and Docker Swarm
  • Collaborated on projects within small, international teams of 2-5, as well as managed independent projects with minimal supervision
  • Authored in-depth documentation on deployment processes which reduced friction in our software development lifecycle

Lead Curriculum Developer — Galvanize, 2020 — 2021

  • Designed curriculum in probability, statistics, calculus, linear algebra, machine learning, and computer science for the Data Science immersive program
  • Redesigned the technical interview to a data-collection-oriented process and paved the way for our team to perform analysis on our technical interview process
  • Utilized Python, Pandas, Numpy, PostgreSQL, and the Salesforce API to perform data analysis on technical interview results and applicant performance