Pietro Galliani

Research Fellow

Free University of Bozen-Bolzano





E-mail: pgallian@gmail.com

Expertise: Mathematical Logic, Machine Learning

Currently working on: Computational Technologies for Concept Invention

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

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


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.

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 Bioinformatics Specialization)

  • Finding Hidden Messages in DNA: 98.9%
  • Genome Sequencing: 100%
  • Comparing Genes, Proteins, and Genomes: 92.4%
  • Molecular Evolution: 100%
  • Finding Mutations in DNA and Proteins: 98.9%