Hello! I’m Ben. I’m a computer science PhD student at Yale University. 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.

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