I'm a mathematician interested in making pretty pictures with beautiful mathematics. My main interest is in physics simulation, computer graphics and numerical methods.
Currently, I'm a research fellow in the Hoskinson Center for Formal Mathematics at Carnegie Mellon University. I'm exploring how formal mathematics can help us to write better software for scientific computing or machine learning. I'm developing Lean 4 library called SciLean.