Phillip Mates

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.