I'm a student researcher interested in math, data science, and AI.

My Projects

I love creating things! Here are some projects I've worked on:

‹

Recognizing Handwritten Math Expressions

Computer interpretation of handwritten math is a challenging problem due to the variablity in size and placement of many characters. I created and explored the viability of a novel computer-vision algorithm to solve this problem.

Read the paper

ImProving Formal Proofs

Generative AI is flexible but unreliable, while code-based theorem provers are always correct but hard to use. By combining the strengths of each, my research group and I are creating a system to automatically optimize and clarify formal proofs, along with other tools and infrastructure to assist mathematicians.

Check out the ImProver repository

Shooting for the Stars

What started as messing around out of curiosity one afternoon has turned into a year and counting working with the Carnegie Mellon Rocket Command, my school's competitive rocketry team. I've developed and implemented data collection, filtering, and control algorithms on embedded systems to keep our rocket on target as we demonstrate its capabilities to NASA.

A bit of what we do

Data Science for Social Good

I've found that the most interesting applications of science are those with real-world impact. My team and I worked with the maintainers of Pittsburgh's public riverfront trails to analyze and predict traffic patterns to help maintainence and future expansion.

About our organization

Exercises in Formalization

Despite their enormous power, formal proof assistants such as "Lean 4" are difficult to master due to their complexity and still-emerging ecosystem of documentation. I am fortunate enough to be learning directly from some of this field's preeminent experts; although my journey's just beginning, I've been formalizing some elementary mathematical results, including Noether's Isomorphism Theorems (as pictured here).

What I have so far

›

Contact Me