Website/blog

The website/blog team is responsible for the technical infrastructure that keeps the community website running. This also includes the community blog and the auto-generated documentation of mathlib.

Members

Eric Wieser picture
Eric Wieser

Eric is a Software Engineer 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.

Patrick Massot picture
Patrick Massot

Patrick is a Professor of Mathematics at Université Paris-Saclay at Orsay (France). He did a PhD in differential topology in Lyon. He has been formalizing mathematics since 2017.

Robert Y. Lewis picture
Robert Y. Lewis

Rob is a lecturer in the Department of Computer Science at Brown University (USA). He did a PhD in Pure and Applied Logic at Carnegie Mellon University in Pittsburgh. He has been formalizing mathematics since 2014.