Mark Dickinson
Principal Engineer, Software Architecture
ハーバード大学にて整数論の博士号および修士号（A.M.）を、ケンブリッジ大学にて数学の修士号（M.A.および「Part III」M.M.）を取得。
ミシガン大学およびピッツバーグ大学で教育・研究職を歴任し、2008年から2024年までPythonのコア開発チームの一員として、特に数学系ライブラリの開発に深く関わってきました。
休日は形式的証明支援系や数学基礎論、そして浮動小数点演算の特異な挙動を探ることを楽しみ、家族との時間も大切にしています。
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.