Raffaele Di Donna

Welcome to my web page!

A photograph of my face

About me

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)

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.