Un économiste passionné par l’intelligence artificielle et la science des données
Des différents temps de la recherche mathématique à l’obsession de la preuve
Tous les chemins mènent aux mathématiques, à commencer par la culture
Logique mathématique, informatique théorique, et esthétique des théorèmes
