About Me

AI-forward Senior Software Engineer

Skills & Expertise

Languages

Python, TypeScript, JavaScript, Ruby, Golang, SQL, Rust, Dart, ML Languages (OCaml, F#, Gleam)

Technologies

Django, React, React Native, Flutter, Svelte, Vue, Rails, Node.js, Docker, Kubernetes, ElasticSearch, Postgres, AWS, GCP

AI

LLMs, Model Context Protocol, Agent Client Protocol, Anthropic & OpenAI APIs, Agent Context & Skills

Professional Experience

Stormlight Labs

Founder and Lead Software Engineer
2024 – Present
  • Lead Engineer of an open-source focused startup, architecting scalable systems and leading development from concept to production.
  • Translated complex technical and product requirements into intuitive, performant, and maintainable software solutions grounded in research and user feedback
  • Developed and optimized multi-platform applications and open-source libraries using Svelte, Rust, Go, and Flutter, applying modern software design patterns, concurrency models, and profiling for high reliability and performance

Edlink

Senior Software Engineer
May 2023 – Jul 2024
  • Technical lead and project manager for Flow, a data pipeline connecting LMS to SIS providers for schools.
  • Adapted new data model to the API, as well as connectors for new integrations
  • Built and designed novel system architecture around PubSub and BigQuery, and Cloud functions
  • Ran production data workloads on Google Cloud (GCP) using Pub/Sub, BigQuery, Cloud Functions, Kubernetes, Redis, and Postgres to move school roster data reliably
  • NestJS (with TypeScript) and Postgres in a Kubernetes cluster on GCP with Redis. Dashboard built with Vue

CampusOptics

Software Engineer
Mar 2022 – Mar 2023
  • Independently gathered requirements from customers and management to develop new features for a higher education Environmental Health and Safety SaaS.
  • Built features for a React Native application while adding endpoints to the internal API
  • Shipped Rails and Sidekiq services on AWS ECS, tuning container tasks, background jobs, and Postgres-backed workflows for campus safety teams
  • Complete Stack: Redis for Sidekiq, Ruby on Rails monolith, and Postgres deployed to AWS Elastic Container Service

Texas Advanced Computing Center

Software Engineer
Oct 2019 – Mar 2022
  • Architected the Frontera User Portal, the first implementation of the Core Experience Portal v2.
  • Built with React, Django, and Postgres
  • Developed SEO optimization strategy and publication pipeline update on DesignSafe-CI
  • Advocated for and improved internal testing practices and implemented Pytest for Core V2

Education

Master of Science, Computer Science

University of Texas at Austin, 2022

Bachelor of Science, Microbiology

University of Texas at Austin, 2015 – 2017

Bachelor of Science, Biochemistry

University of Texas at Austin, 2011 – 2015

Projects

THNDRS

Terminal AI pair programmer and agentic coding harness
  • Built a Rust terminal AI pair programmer with a custom TUI, streaming reasoning and tool activity, persistent session history, and project context loading from AGENTS.md and SKILL.md files
  • Implemented provider adapters for Umans.ai and OpenCode Go with OpenAI-compatible and Anthropic-compatible tool schemas, model configuration, usage tracking, and provider-native or Exa-backed web search modes
  • Designed bounded local tool execution, MCP tool discovery and dispatch, and Agent Client Protocol support so external agents, editors, and IDEs can drive the harness with auditable permission behavior

Regulus

Experimental Gleam to WebAssembly compiler
  • Built a Rust compiler pipeline that parses Gleam with tree-sitter, owns its AST, resolves names, type checks a supported subset, lowers to core IR, and emits deterministic WebAssembly
  • Implemented support for scalar values, managed runtime values, pattern matching, closures, selected standard library modules, host imports, and whole-project linked output
  • Validated compiler behavior with source-span diagnostics, optional WAT rendering, and Wasmtime tests for scalar and managed-value exports

Beacon

Python Type Checker and Language Server
  • Architected Rust-based LSP implementation with Hindley-Milner type inference engine
  • Implemented comprehensive code intelligence including real-time diagnostics and type narrowing via control flow analysis
  • Built refactoring suite with workspace-wide renaming validation and automated quick fixes
  • Designed incremental analysis architecture with multi-layer caching supporting VS Code, Zed, Neovim, and Helix