Francesco Antonio Genco

Room:
HF 04 13
Tel:
+43 1 5880158553
Fax:
+43 1 58801 18597
Mail:
genco@logic.at
Function:
PhD Student


Here is my Curriculum Vitae.


Research Interests

My research interests mainly concern the Proof Theory of nonclassical logics, the applications of such logics to philosophy and artificial intelligence, and their relationship with computation.


Current Position

PhD student in the Doctoral College Logical Methods in Computer Science since November 2014. Supervisor: Prof. Agata Ciabattoni.


Publications


Master thesis

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


Selected Talks


Other

I was in the organising committee of the meeting Algebra and Coalgebra meet Proof Theory (ALCOP 2016), 79 April 2016, TU Wien, Vienna, Austria.