Raffaele Di Donna

Welcome to my web page!

A photograph of my face

About me

I am a PhD student, under the joint supervision (in french, "cotutelle de thèse") of Antonio Bucciarelli from the Paris Cité University and Lorenzo Tortora de Falco from the Roma Tre University.

Research laboratory: Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243)

Pole: Proofs, programs and systems

Teams: Proofs and programs, Algebra and computation

Contact information

Telephone: +39 377 117 68 97

Email address: didonna@irif.fr

Professional address:

3rd Floor, Office 3010
Bâtiment Sophie Germain
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.