Mark Dickinson
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 was a member of the core Python development team from 2008 to 2024, 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.