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: IRIF (UMR 8243)

Scientific team: Proofs, programs and systems (PPS)

Contact information

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, proof theory and linear logic. The projects I'm currently working on are the following:

  • Proving the conjecture that the (multiset-based) coherent model is injective for connected proof-nets of multiplicative exponential linear logic, stated by Lorenzo Tortora de Falco in 2003 (joint work with Antonio Bucciarelli and Lorenzo Tortora de Falco);
  • Investigating the property of the correctness graphs of a proof-structure stating that any such graph is acyclic and that the number of its connected components is exactly one more than the number of nodes bottom or weakening (joint work with Lorenzo Tortora de Falco);
  • Translating bang calculus (a generalization of both call-by-name and call-by-value lambda-calculus) into proof-nets, and proving a sequentialization theorem (joint work with Giulio Guerrieri).

I am also interested in the problem of identity of proofs: one asks whether two proofs are to be considered equal. In other words, one looks for a canonical notion of proof. Further details are provided in my master's thesis. Finally, I am quite curious about paradoxes.