Principal Engineer, Software Architecture
Mark holds a Ph.D. and A.M. in number theory from Harvard University, and an M.A. and M.M (“Part III”) in mathematics from the University of Cambridge.
He has held teaching and research positions at the University of Michigan and the University of Pittsburgh, and has been a member of the core Python development team since 2008, with heavy involvement in Python’s mathematical libraries.
In his free time, Mark likes to play with formal proof assistants, mathematical foundations and strange floating-point anomalies, and also occasionally talks to his family.