Phillip is a database and program language enthusiast in New York City. He's had the opportunity to work with Python in various startups, at Google, and today as a technology consultant. Phillip is the primary developer behind CrossHair [1], a tool that brings the power of modern theorem provers to help Python developers.
[1] https://github.com/pschanely/CrossHair