PhD course presented by Gianna Del Corso and Federico Poloni for the PhD program in Computer Science of the University of Pisa, on January 16–25 2019.