Chair holder | Carlos Simpson


Carlos Simpson (CNRS)


Short bio

Carlos Simpson is Research Director at CNRS. His research interests are in: Moduli of vector bundles with small Chern class on a surface, Computer verification of mathematical proofs, Moduli spaces of connections and higher nonabelian de Rham cohomology and the theory of n-categories. In 2015, he received the Sophie-Germain Prize.


Research topic | AI and Mathematics

My research addresses the interactions between research areas in algebra, category theory and geometry, and machine learning. This includes applications of AI to the classification of interesting algebraic and geometric structures, and the interactions between AI and formal verification of proofs in both directions.