CV | Twitter | GitHub | CiteULike
mates at ccs dot neu dot edu
I'm Phillip Mates, a 2nd year Ph.D student in Programming Languages at Northeastern University.
I work in the area of Compiler Verification under Amal Ahmed.
Before moving to Boston I was part of Matt Might's U-Combinator lab at the University of Utah. In the past I've worked under Claudio Silva and Juliana Freire on various VisTrails related projects.