My Research Interests

I'm passionate about things laying on the boundary of math and computer science. Homotopy type theory/category theory combined with formal verification has caught my eye, as this allows me to both hone my intuition for highly abstract mathematics, while also providing down-to-earth, programming-level problems for me to solve.

My career aspirations lie in data science and mathematical finance. These are fields which bridge my love for computer science and math, and have practical, industry-level opportunities to explore. I have begun working on projects in quantitative analysis, starting with a self-directed project on estimating the US Treasury yield curve. A Jupyter Notebook with the results is viewable here.