I’m a PhD candidate in Computer Science, at The Programming Languages Laboratory, at the Johns Hopkins University, advised by Dr. Scott Smith.
I’m interested in writing & reading, music & video production, running, mindfulness, minimalism, and veganism.
I live in Baltimore, Maryland, United States.
2019-10-19: I ran on Baltimore Running Festival. I ran a 5K followed by a half-marathon, in the so-called Baltimoron-a-thon. I succeeded in my two goals: to run the entire course without stopping or walking, and to finish the half-marathon in less than 3 hours 🎉
See my Times
2019-09: I started teaching Object-Oriented Software Engineering at the Johns Hopkins University.
2019-07: My paper Higher-order Demand-driven Program Analysis was published on the ACM Transactions on Programming Languages and Systems (TOPLAS).
2019-06: I made public the repository in which I’m working on my dissertation: Yocto-CFA.
A Minimal LaTeX Dissertation Template (for the Johns Hopkins University)
Understanding the Type of
Playing the Game with PLT Redex
Email Migration: The Ultimate Solution to a Ridiculous Problem
email@example.com · firstname.lastname@example.org