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.