I'm a PhD student at Northeastern University. My research interests are type systems, and more generally semantics of array programming languages.