Francesco Genco is the new Postdoc of the BRIO Project associated with the the Logic, Uncertainty, Computation and Information Group at the Università Statale di Milano. He graduated in Philosophy at the University of Bologna (Italy) and obtained a PhD degree in Theoretical Computer Science at TU Wien (Vienna, Austria). He held a three year postdoctoral position at IHPST, Université Paris 1 Panthéon-Sorbonne and CNRS (Paris, France). His research mainly concerns the development of proof-theoretical methods and their application in philosophy and theoretical computer science. He worked, in particular, on the proof-theory of non-classical logics, on the development of computational interpretations for constructive and semi-constructive logics, and on explanatory reasoning in logic and mathematics.
Giacomo Zanotti is the new postdoctoral researcher of the BRIO Project associated with the Unit at the Politecnico di Milano. He obtained his PhD in Cognitive Neuroscience and Philosophy of Mind at the University School for Advanced Studies IUSS Pavia (Italy). Within the BRIO project, he investigates the epistemic grounds and the normative aspects of the notion of Trustworthy AI.
