Gabriele Pulcini is an Assistant Professor in Logic and Philosophy of Science at the Philosophy Department at the University of Rome ”Tor Vergata”. Before coming in Rome, he was at the ILLC in Amsterdam as a postdoctoral researcher. Gabriele’s research interests lie in proof-theory and philosophy of mathematics. In particular, he authored papers on linear and nonmonotonic logics, refutation calculi, and Gödel incompleteness theorems.