![Phillip Mates Phillip Mates](http://www.dimagi.com/wp-content/uploads/2015/03/phillip_mates.jpg)
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 now work as an engineer at Dimagi.
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.