posted Oct 2, 2013, 9:20 AM by Massimo Bartoletti
[
updated May 7, 2014, 11:10 AM
]
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 AixMarseille II – Mathematical Institute of Luminy, with a PhD thesis entitled Permutative logic: a geometrical study on linear logic proofs.
Gabriele's research interests include:
 Prooftheory and logical noncommutativity, linear logic, noncommutative linear logic, prooftheoretical methods applied to algebraic topology, topological methods applied to prooftheory.
 Philosophy of logic, history of logic, philosophy of mathematics, foundations of mathematics, incompleteness phenomena, deflationism, demonstrative methods in number theory.
 Prooftheoretical methods applied to molecular biology, nonmonotonic reasoning, CurryHoward correspondence in theoretical biology.
Welcome to Cagliari, Gabriele!

