CV | GitHub | Twitter
mates at ccs dot neu dot edu
I'm Phillip Mates, a recent MS grad in Programming Languages from Northeastern University.
I worked establishing new compiler verification proof techniques under the supervision of 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.