Infos
Je suis postdoc dans le projet ERC MALINCA http://malinca.org
Je m'intéresse à la géométrie différentielle, presque-complexe et complexe, et à faire de la recherche dans ces domaines à travers les assistants de preuve Lean et Rocq
J'ai obtenu mon doctorat à l'Université de Corse en codirection avec l'IHES https://theses.fr/2025CORT0008. Mes co-directeurs de thèse étaient Maxim Kontsevich et Bernard Di Martino. Carlos Simpson a co-encadré ma thèse
About
I'm a postdoc in the MALINCA ERC project http://malinca.org
I'm interested in differential, almost-complex and complex geometry, and in studying these areas through the proof assistants Lean and Rocq
I got my PhD from the University of Corsica in codirection with the IHES https://theses.fr/2025CORT0008. My PhD co-advisors were Maxim Kontsevich and Bernard Di Martino. Carlos Simpson was co-encadrant of my thesis
e-mail: gabriella.clemente@cnrs.fr