Personal Webpage of Francesco A. Genco

RESEARCH INTERESTS

Philosophy, proof theory, philosophy and logic of explanation, intuitionistic and non-classical logics, computation.


CURRENT POSITION

Postdoc at IHPST, Université Paris 1 Panthéon-Sorbonne. I am working on the project Insights from Bolzano.


PHD THESIS

Intermediate Logics and Concurrent Lambda Calculi: A Proof-Theoretical Approach.
Supervisor: Agata Ciabattoni. 
TU Wien, Vienna, Austria. 2019.


MASTER THESIS

Modal logics and independence friendly logics (in Italian).
Supervisor: Giovanna Corsi. 
Department of Philosophy and Communication, University of Bologna, Italy. 2013.

Create your website with WordPress.com
Get started