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 picture](/img/bryan.jpg)
Bryan Gin-ge Chen
Bryan is a data-scientist in Dayton (USA). 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.
![Eric Wieser picture](/img/eric.jpg)
Eric Wieser
Eric is a PhD student at the University of Cambridge (UK). He has been formalizing mathematics since 2020, and maintaining open source software since 2017.
![Gabriel Ebner picture](/img/gabriel.jpeg)
Gabriel Ebner
Gabriel is an engineer at Microsoft Research (USA). He did a PhD in computational proof theory at TU Wien (Austria). He developed the current parallel compilation infrastructure and interactive editor integration for Lean, and has been formalizing mathematics since 2016.
![Johan Commelin picture](/img/Johan.jpg)
Johan Commelin
Johan is universitair docent (assistant professor) at Utrecht University (Netherlands). He did a PhD in algebraic geometry in Nijmegen. He has been formalizing mathematics since 2018.
![Wojciech Nawrocki picture](/img/wojciech.jpg)
Wojciech Nawrocki
Wojciech is a PhD student at Carnegie Mellon University (USA). He has been contributing to open source software since 2016.