Phillip is a database and program language enthusiast. (but is especially enthusiastic about Python!) He has had the opportunity to work with Python for 20 years: in various startups, at Google, and as a independent consultant. Phillip is the primary developer behind CrossHair, a tool that brings the power of modern theorem provers to help Python developers.
