New member: Gabriele Pulcini

Post date: 02-Oct-2013 16:20:04

Gabriele Pulcini has joined today our group for a postdoc. He got a joint PhD in “Philosophy and theory of human sciences” and in “Discrete mathematics and foundations of computer science” from the Department of Philosophy – University of Rome III and the University of Aix-Marseille II – Mathematical Institute of Luminy, with a PhD thesis entitled Permutative logic: a geometrical study on linear logic proofs.

Gabriele's research interests include:

• Proof-theory and logical non-commutativity, linear logic, non-commutative linear logic, proof-theoretical methods applied to algebraic topology, topological methods applied to proof-theory.
• Philosophy of logic, history of logic, philosophy of mathematics, foundations of mathematics, incompleteness phenomena, deflationism, demonstrative methods in number theory.
• Proof-theoretical methods applied to molecular biology, non-monotonic reasoning, Curry-Howard correspondence in theoretical biology.

Welcome to Cagliari, Gabriele!