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.
When billion dollar business outcomes depend on hard science, you need a partner that understands both. Let's empower your people to move faster and discover more.
Ready to put the power of AI into the hands of your best thinkers?TALK TO US