Pietro Galliani

Research Fellow

Free University of Bozen-Bolzano

E-mail: pgallian@gmail.com

Expertise: Mathematical Logic, Machine Learning

Currently working on: Social Evaluation of Concepts + Semantic Enrichment and Interoperability

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

  • 2017-now: 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)