Des différents temps de la recherche mathématique à l’obsession de la preuve
Logique mathématique, informatique théorique, et esthétique des théorèmes
Des mathématiques pour modéliser la santé
Du calcul scientifique pour travailler à l’interface de plusieurs disciplines
