Raffaele Di Donna
Welcome to my web page!
About me
I am doing a PhD under the joint supervision of:
- Antonio Bucciarelli (Université Paris Cité)
- Lorenzo Tortora de Falco (Università Roma Tre)
Research laboratory: Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243)
Scientific team: Proofs, programs and systems (PPS)
Contact information
Telephone: +33 7 58 96 44 33
Email address: didonna@irif.fr
Professional address:
Bâtiment Sophie Germain, Bureau 3010
8 Place Aurélie Nemours
75013 Paris
Academic interests
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.