Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Mario Bravetti

  • Master: “Linguaggi, Compilatori e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

  • Master: “Foundations of Logic for Computer Science”, 24 Hours, 2nd year. University of Bologna, Italy.

  • Master: “Cryptography”, 36 Hours, 2nd year, University of Bologna, Italy.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Francesco Gavazzo

  • Undergraduate: “Programming languages”, 30 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Basic Computer Skills”. 30 hours, BSc Medical Chemistry and Pharmaceutical Technology, BSc Biology, University of Bologna.

• Ivan Lanese

  • Undergraduate: “Architettura degli Elaboratori”, 56 hours, 1st year, University of Bologna, Italy.

  • Master: “Ingegneria del Software Orientata ai Servizi”, 22 hours, 2nd year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Programming in Python”, 72 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

• Gianluigi Zavattaro

  • Undergraduate: “Computer Architectures”, 60 hours, 1st year, University of Bologna, Italy

  • Undergraduate: “Algoritmi e strutture dati”, 60 hours, 2nd year, University of Bologna, Italy

Supervision

Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.

• Raphaelle Crubillé, October 2015, “Bisimulation Metrics and Probabilistic Lambda Calculi”, Université Denis Diderot and University of Bologna. Supervisors Thomas Ehrhard and Ugo Dal Lago.

• Adrien Durier, September 2016, "Proving behavioural properties of higher-order concurrent languages", ENS de Lyon and University of Bologna. Supervisors: Daniel Hirschkoff and Davide Sangiorgi.

• Francesco Gavazzo, October 2015, “Coinductive Techniques for Effectful Lambda Calculi”. Supervisor U. Dal Lago.

• Michael Lodi, January 2017, “Growth Mindset and Computational Thinking”. Supervisor: S. Martini.

• Tong Liu, November 2015, “Constraint based languages for Software Defined Networks”. Supervisor: Maurizio Gabbrielli.

• Stefano Pio Zingaro, November 2016, “High level languages for Internet of Things applications”. Supervisor: Maurizio Gabbrielli.

• Gabriele Vanoni, November 2018. “Optimal Reduction, Geometry of Interaction, and the Space-Time Tradeoff”. Supervisor Ugo Dal Lago.

Juries

Daniel Hirschkoff was reviewer (rapporteur) for the PhD thesis Guvan Cabon, in december 2018 (Univ. Rennes).

Simone Martini has been member of the PhD jury of Francesco di Giacomo, Università Ca' Foscari Venezia (June 2018) and Tilburg University (November 2018)