Pietro Galliani

Research Fellow

Università degli Studi dell'Insubria

E-mail: pgallian@gmail.com

Expertise: Mathematical Logic

Currently working on: Non-Classical Logics for AI

Read my entry on Dependence Logic for the Stanford Encyclopedia of Philosophy

Listen to me talk about indecibility and the continuum hypothesis for OggiScienza (Italian language)


Highlighted Recent Articles



An adaptive semantic similarity measure over the Gene Ontology for predicting protein-protein interactions

Go to page


Evolution of homeostasis in neural networks via lateral gene transfer

Go to page


A simple Java applet demonstrating co-evolution and mimicry in a point-and-click game

Go to page


Doctoral Thesis

Stanford Encyclopedia of Philosophy

  • Dependence Logic. in Edward N. Zalta editor, Stanford Encyclopedia of Philosophy (Spring 2017 edition).

Other Publications

Curriculum Vitae

Professional experience

  • 2020-present: Researcher (RTD-B), Universit√† degli Studi dell'Insubria.
  • 2020-2022: Researcher (RTD-A), Free University of Bozen-Bolzano.
  • 2017-2020: Research Fellow, Free University of Bozen-Bolzano.
  • 2015-2017: Research Fellow, University of Sussex.
  • 2013-14: Postdoctoral Researcher, University of Clausthal.
  • 2012-13: Postdoctoral Researcher, University of Helsinki.


  • 2015: M.Sc. in Evolutionary and Adaptive Systems, University of Sussex (School of Informatics). With distinction.
  • 2008-12: Ph.D. in Mathematical Logic, University of Amsterdam.
  • 2006-08: M.Sc. in Logic, University of Amsterdam.
  • 2002-05: B.Sc. in Mathematics, University of Bologna. 110/110 e lode (cum laude)
  • 2002-05: Collegio Superiore, University of Bologna.

Teaching Experience

  • 2013-2014: TA for Logics for Multi-Agent Systems
  • 2013: Teacher for Finite Model Theory
  • 2011: TA for Proof Theory, Lambda Calculus
  • 2009: TA for Model Theory
  • 2008: TA for Model Theory

Online Education (Coursera Specializations)