Hello! I’m Ben. I’m interested in formal verification, programming languages, operating systems and machine learning.

I graduated from Vanderbilt University in 2023 with a Bachelors in computer science and mathematics, with honors and highest honors respectively. I graduated from Yale University in 2025 with a Masters in Computer Science.

This site was created with Jekyll and deployed using Netlify. View the source here.