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
  • 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 (4)

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
rxdt labs (Owner and Creator)
 https://rxdt-labs.github.io/
rxdt labs simplifies reactive/formula-driven programming with libraries spanning three languages. These libraries let developers create and refine event listeners using formulae — executing functions when equations become true and organizing execution flow declaratively.
  • pypagate (Python) — 5 GitHub stars, 810 downloads/month on PyPI
  • forcamla (OCaml) — published on opam, 1 GitHub star
  • formulis (C++) — header-only reactive/formula library
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.
  • punyecs (a query oriented Entity Component System) — 5 GitHub stars, 1,226 downloads/month on PyPI
  • ease-caml (a tweening/easing library for OCaml) — published on opam, 1 GitHub star
  • lpyout (a grid layout library) — 2 GitHub stars, 36 downloads/month on PyPI
  • gtravyl (a grid-based shortest path library) — 1 GitHub star, 43 downloads/month on PyPI
  • transytion (a tweening/easing library for Python) — 1 GitHub star, 28 downloads/month on PyPI
Kona Website / K ecosystem
 https://kona.github.io
Designed the website for Kona, an open-source implementation of the K programming language.
  • GitHub: https://github.com/kona/kona.github.io

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