Francesco A. Genco
Proof-theoretical methods for philosophy and theoretical computer science. Non-classical logics. Computational interpretations. Explanatory reasoning.
I currently hold a postdoctoral position at the LUCI Group (Logic, Uncertainty, Computation and Information Group – Department of Philosophy, University of Milan) in the context of the BRIO project (Bias, Risk, Opacity in AI: Design, Verification and Development of Trustworthy AI – PRIN Scheme no. 2020SSKZ7R).
Intermediate Logics and Concurrent Lambda Calculi: A Proof-Theoretical Approach.
Supervisor: Agata Ciabattoni.
TU Wien, Vienna, Austria. 2019.
Modal logics and independence friendly logics (in Italian).
Supervisor: Giovanna Corsi.
Department of Philosophy and Communication, University of Bologna, Italy. 2013.