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. 

Working with: Boris Schminke | PhD student

Research project
AI for finite algebraic structures

#Hashtags 
Semigroups, Finite Structures, Universal Algebra, Denoising Autoencoders

Affiliation
UCA, CNRS, LJAD

Website
https://math.unice.fr/~boris/