I build and analyze high-performance simulations for problems in science and engineering. My current work revolves around uncertainty quantification and formal verification.
Recent work:
- Distributed N-body simulation with FMM, Barnes-Hut, MPI, and CUDA
- GPU-accelerated T-spline surface fitting for cardiac point clouds
- Persistent sheaf Laplacian descriptors for protein flexibility prediction
- Rust-based deterministic parallel simulation for spatial ecology

Figure 1: spinning ASCII coffee mug
I'm interested in: scientific computing/visualization, computational geometry/topology, high-performance computing, and machine learning (mostly reinforcement learning). I'm always open to collaboration! The best way to reach me is email.



