Phillip Mates

CV | Twitter | GitHub | CiteULike
mates at ccs dot neu dot edu

I'm Phillip Mates, a 3rd 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.