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.
When browsing Université Côte d'Azur website and Université Côte d'Azur components websites by profile ("I am" menu), informations may be saved in a "Cookie" file installed by Université Côte d'Azur on your computer, tablet or mobile phone.This Cookie file contains informations, such as a unique identifier, the name of the portal, and the chosen profile. This Cookie file is read by its transmitter. During its 12-month validity period, it allows to recognize your terminal and to propose the chosen profile as your default home page.
You have accepted the deposit of profile information cookies in your navigator.
You have declined the deposit of profile information cookies in your navigator.
"Do Not Track" is enabled in your browser. No profiles information will be collected.
Cookies de mesure d 'audiences
This website uses Google Analytics. By clicking on "I accept" or by navigatin on it, you authorize us to deposit a cookie for audience measurements purposes.
You have accepted the deposit of audience measurement cookies in your navigator.
You have declined the deposit of audience measurement cookies in your navigator.
"Do Not Track" is enabled in your browser. No navigation statistics will be collected.
