---

• I am now a postdoc at IHPST (Institute for the History and Philosophy of Science and Technology), University Paris 1 Panthéon-Sorbonne, I am working on the project Insights from Bolzano.

---

• Address:
  • University Paris 1 Panthéon-Sorbonne
  • IHPST (UMR 8590)
  • 13 rue du Four, 75006 Paris, France

---

Research Interests

• Proof theory, non-classical logics, philosophy, and computation.

---

Education

• PhD in the Doctoral College Logical Methods in Computer Science, TU Wien, under the supervision of Prof. Agata Ciabattoni and project assistant in the Theory and Logic group.
• MA in Philosophy (University of Bologna). Master thesis: Modal logics and independence friendly logics (in Italian).
• BA in Philosophy (University of Bologna).

---

Publications

1. Intermediate Logics and Concurrent Lambda Calculi: A Proof-Theoretical Approach (Doctoral dissertation). TU Wien. 2019.
2. Classical Proofs as Parallel Programs. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. GandALF 2018.
3. Hypersequents and Systems of Rules: Embeddings and Applications. Agata Ciabattoni and Francesco A. Genco. TOCL, vol. 19, issue 2. 2018.
4. Gödel logic: from natural deduction to parallel computation. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LICS 2017, pp. 1–12. 2017.
5. Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. Journal of World Philosophies, vol. 2, num. 1, pp. 47–66. 2017.
6. Embedding formalisms: hypersequents and two-level systems of rules. Agata Ciabattoni and Francesco A. Genco. Advances in Modal Logic, vol. 11, pp. 197–216. 2016.
7. Mīmāṃsā deontic logic: proof theory and applications. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. TABLEAUX 2015, pp. 323–338. 2015.