Software engineer and mathematician with experience building backend systems, developer tooling, and open-source software. Interested in programming languages, optimization, simulation systems, and mathematically driven software architecture.

Skills

Languages

  • Python
  • Typescript
  • Rust
  • C
  • SQL
  • OCaml

Backend

  • FastAPI
  • PostgreSQL
  • REST APIs
  • JSON/FHIR

Frontend

  • Tailwind
  • HTML/CSS
  • Jinja

Systems / Technical Interests

  • Programming Languages
  • Optimization
  • Algorithms
  • Graph Theory
  • Game Architecture
  • Entity Component Systems

Work Experience (3)

Jun 2017 - Aug 2017
Software Engineer
AbleVets
 https://ablevets.com/
Software Engineering Intern at AbleVets.
  • Migrated veteran medical appointment platform from desktop-first to responsive mobile architecture.
  • Implemented FHIR-compliant healthcare data transformations for interoperability with VA systems.
  • Improved maintainability of JSON-based medical records infrastructure.
Jan 2025 - May 2025
Lecturer
Arizona State University
Co-taught Introduction to Theoretical Computer Science. In charge of giving all the lectures, taking notes of each lecture, and holding office hours.
  • Lecture Notes: https://www.overleaf.com/read/jjcqmznpkprg#748427
  • Class Number: CSE 355
Aug 2020 - Dec 2024
Teaching Assistant
Arizona State University
I assisted various professors and courses ranging from Introduction to Programming to Graduate Foundations of Algorithms. Responsibilities included:
  • Holding office hours.
  • Engaging students in recitation.
  • Sometimes designed homework questions, quiz questions, and test questions as well as derived solutions for them.
  • Courses: Introduction to Theoretical Computer Science (CSE 355), Principles of Programming (CSE 110), Object Oriented Programming and Data Structures (CSE 205), Foundations of Algorithms (both undergraduate and graduate versions) (CSE 450 and CSE 551).

Projects (5)

conjecscore.org
 https://conjecscore.org/
Built a mathematical research platform that reformulates open conjectures as optimization problems and tracks community progress via dynamic scoring systems.
  • Github: https://github.com/thyrgle/conjecscore
  • Github Stars: 5
  • Registered Users: 35
Kona Website / K ecosystem
 https://kona.github.io
Designed the website for the Kona programming language, an open source implementation of the K programming language.
  • Github: https://github.com/kona/kona.github.io
Modular Game Components (Owner and Creator)
 https://modular-game-components.github.io/
The Modular Game Components (MGC) organization is dedicated to bridging the functionality gap between various game frameworks and game engines via libraries that implement game engine features commonly missing in game frameworks. The organization houses the libraries lpyout (a grid layout library), gtravyl (a grid-based shortest path library), transytion (a tweening/easing library for Python), ease-caml (a tweening/easing library for OCaml), and punyecs (a query oriented Entity Component System).
  • Github Organization: https://github.com/Modular-Game-Components
pypagate
 https://github.com/thyrgle/pypagate
Create new and refine existing event listeners using formulae. Execute functions when formulae become true and organize execution flow via formulae in Python.
  • PyPI: https://pypi.org/project/pypagate/
  • Github Stars: 4
  • Downloads last month: 238 (via https://pypistats.org)
forcamla
 https://github.com/thyrgle/forcamla
Create new and refine existing event listeners using formulae. Execute functions when equations become true and organize execution flow via formulae in OCaml.
  • opam: https://opam.ocaml.org/packages/forcamla/
  • Github Stars: 1

Volunteer

Aug 2015 - Dec 2017
Lecturer
GamesCrafters
 https://gamescrafters.berkeley.edu/
Lecturer for GamesCrafters class for 4 semesters at UC Berkeley. GamesCrafters is a lower division and upper division computer science course about computational game theory.
  • Undergraduate Lecturer

Education (1)

2013 - 2017
Bachelor
 Mathematics
University of California, Berkeley

Awards

First place "Performance Programming Competition"
UC Berkeley
While taking the class Great Ideas of Computer Architecture, I optimized an artificial neural network that identifies images of cats. Received 1st place for identifying the most cat images per second.

Languages

English

Native speaker