Programming languages PhD student at Northeastern University. I work on language semantics, convex optimization, and dynamic modelling.