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)

Research

Highlighted Recent Articles




Software

LogSim

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

Go to page


Sim-Bdelloid

Evolution of homeostasis in neural networks via lateral gene transfer

Go to page


Voro-Breeder

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

Go to page



Publications

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.

Education

  • 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)