Hello! I’m a recent computer science graduate from MIT (’19 B.S. and ’20 MEng). I specialize in systems and devops and have an interest in formal methods.

My interests include:

I begin my PHD in PL/Formal Methods this fall (’23) at Yale. I’m currently working as a Systems Engineer at Espresso Systems. Before Espresso, I worked at Draper Laboratories on systems-ey things. Before Draper, I was an RA at CSAIL.