Continuous integration
In charge of Azure, bors administration, continuous integration virtual machines root access, GitHub actions on various projects of the Lean user community.
Members
Bryan Gin-ge Chen
Bryan is a senior engineer at the Mathlib Initiative. He did a PhD in theoretical condensed matter physics at University of Pennsylvania. He has been formalizing mathematics and helping with the community infrastructure since 2018.
Damiano Testa
Damiano is a reader in the Department of Mathematics at the University of Warwick (UK). He did a PhD in Algebraic Geometry at MIT (USA). He has been formalizing mathematics since 2020.
Eric Wieser
Eric is a Senior Software Engineer on the AlphaProof team at Google DeepMind. He did a PhD formalizing Clifford algebras at the University of Cambridge (UK). He has been formalizing mathematics since 2020, and maintaining open source software since 2017.
Johan Commelin
Johan is universitair docent (assistant professor) at Utrecht University (Netherlands) and the director of the Mathlib Initiative. He did a PhD in algebraic geometry in Nijmegen. He has been formalizing mathematics since 2018.
Kim Morrison
Kim is a senior research engineer at the Lean Focused Research Organization. Their background is in mathematics, particularly topology and category theory. After a PhD at Berkeley, they have worked at Microsoft Station Q, Berkeley, and the Australian National University. Kim has been formalizing mathematics in Lean and Mathlib since 2017.
Marcelo Lynch
Marcelo is a senior engineer at the Mathlib Initiative, working on improving and maintaining ecosystem infrastructure. At previous positions, he has worked on developing and maintaining build systems of some of the world's largest software projects.
Wojciech Nawrocki
Wojciech is a PhD student at Carnegie Mellon University (USA). He has been contributing to open source software since 2016.