Hello! 👋

I am a PhD student working with Marco Gaboardi at Boston University.
Interested in programming languages, software verification, data privacy, and web development.
Usually I have more to share but the site is a bit empty at the moment, enjoy the koi :)