I am doing a PhD under the joint supervision of:
Research laboratory: Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243)
Scientific team: Proofs, programs and systems (PPS)
Telephone: +33 7 58 96 44 33
Email address: email@example.com
Bâtiment Sophie Germain, Bureau 3010
8 Place Aurélie Nemours
I am deeply interested in fundamental questions of mathematical logic. In particular, I am investigating the problem of identity of proofs: one asks whether two proofs are to be considered equal. In other words, my goal is to find a canonical notion of proof. Further details are provided in my master's thesis. I am also quite curious about paradoxes.