Ty Klabacka & compilers.

PhD, Compiler Optimization & HPC — University of Utah

2025 —

Advised by Dr. Mary Hall. Improving adaptive mesh refinement performance through hash-based data layouts that enhance scalability and efficiency in scientific simulations.

BS, Computer Science — Brigham Young University

2025

Coursework in theory of computation, formal verification, software architecture, computer language design, and analysis of algorithms. Competitive programming club.

Software Engineer Intern — Amazon, Neuron Automated Reasoning

2025

Built an authoritative instruction-behavior library inside the Neuron compiler pipeline. Used by the compiler simulator to test pass differentials and verify that semantics aren't lost between optimization passes.

Research Assistant — Verification & Validation Lab, BYU

2024 — 2025

Built a Python translation system converting BPMN diagrams into Promela, enabling formal model checking with Spin. Supported published research on workflow reliability in healthcare systems.

Software Engineer Intern — Pluralsight

Summer 2024

Migrated 11 REST endpoints to GraphQL in Ruby on Rails and integrated the subgraph into a federated gateway. Wrote 100% test coverage across queries and mutations.

Research Assistant — Perception, Control & Cognition Lab, BYU

2023 — 2024

Built a Python SMS platform simulating 200+ concurrent users for political discourse experiments. Deployed a stable-diffusion web app across 14 GPU EC2 instances with auto-scaling and load balancing.

Software Engineer Intern — Pluralsight

Summer 2023

Automated user de-provisioning across four third-party services with AWS Lambda (Python), saving the cloud engineering team roughly 260 hours per year. Built reliable workflows on SNS, SQS, and API Gateway.

Software Engineer Intern — Los Alamos National Laboratory

Summer 2022

Engineered a high-performance C algorithm for ARM microcontrollers, processing 300,000+ data packets in under a second using low-level driver APIs.