About

Physics B.S. + Math Minor @ Youngstown State University. Interested in analysis, partial differential equations, computational physics, compiler construction, formal verification, and high-performance software. If you're interested in my work or just want to get in touch, you can reach me below.

Outside of that: chess (2000 Elo), League of Legends, anime and manga, cats, and a running side interest in biochemistry and pharmacology.

Technical Interests

Technical Background

Experience with C, C++, Haskell, Python, and Rust. Familiar with LLVM IR, kernel-mode programming, concurrent systems, and high-performance computing. Working on compiler design, physics simulations, and low-level optimization.

Current Work

Building the Mathematical Menagerie: a Besov-space norm analyzer, a Kato-Ponce commutator engine, and a 3D NLS blow-up simulator, aimed at the regularity problem for 3D incompressible flow. Reading more math and physics papers to support it.

Current Reading