Accessibility setting

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: “Cryptography”, 36 Hours, 2nd Year, University of Bologna, Italy.

• Daniel Hirschkoff

  • Master: “Coinductive Methods in Computer Science”, 2nd year, Ecole Normale Supérieure de Lyon.

• Maurizio Gabbrielli

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

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

• Elena Giachino

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

• Saverio Giallorenzo

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

• Ivan Lanese

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

  • Undergraduate: “Algoritmi e Strutture Dati”, 45 hours, 2nd 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: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.

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

  • Master: “Logical Foundations of Computer Science”, 48 hours, 2nd year, University of Bologna, Italy.

• Davide Sangiorgi

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

  • Master: “Models for concurrency”, 15 hours, 2nd year, University of Bologna, Italy.

• Marco Solieri

  • Undergraduate: “UNIX system programming”, 48 hours, 3rd year, Université Paris Diderot

  • Undergraduate: “Network programming”, 48 hours, 3rd year, Université Paris Diderot

• Gianluigi Zavattaro

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

  • Undergraduate: “Programming Languages”, 60 hours, 2nd year, University of Bologna, Italy

Supervision

PhD thesis completed in 2016:

• Alberto Cappai, " On Equivalences, Metrics, and Computational Indistinguishability", University of Bologna, April 2016.

• Alessandro Rioli, " Coinductive Techniques on a Linear Quantum $\lambda$-calculus", University of Bologna, April 2016.

• Marco Solieri, “Sharing, Superposition and Expansion — Geometrical Studies on the Semantics and Implementation of $\lambda$-calculi and Proof-Nets”, S. Guerrini (Paris Nord) and S. Martini. [11].

• Saverio Giallorenzo, “Real-World Choreographies”, University of Bologna, April 2016 [10].

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.

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

• Abel Garcia, January 2014, “Analysis of Cloud Computing Systems”. Supervisor C. Laneve.

• Francesco Gavazzo, October 2015, “Coinductive Techniques for Effectful Lambda Calculi”. Supervisors U. Dal Lago and D. Sangiorgi.

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

• Vincenzo Mastandrea, October 2015, “Deadlock analysis in ASP”. Supervisors Cosimo Laneve and Ludovic Henrio (CNRS Sophia Antipolis).

• Valeria Vignudelli, January 2014, “Probabilities in Higher-Order languages”. Supervisor D. Sangiorgi.

Juries

U. Dal Lago has been member of the PhD evaluation committee for Charles Grellois (April 2016, Université Paris 7), and Thomas Leventis (December 2016, Université Aix-Marseille).

D. Hirschkoff has been referee (rapporteur) for the Habilitation à Diriger les Recherches of Nicolas Tabareau, Université de Nantes), November 2016, and member of the PhD committee of Martin Bodin (Université Rennes 1), Nov. 25, 2016.

S. Martini has been supervisor and member of the PhD evaluation committee for Marco Solieri (Université Paris 13 and Università di Bologna).

G. Zavattaro: has been member of the PhD jury of Laura Nenzi and Andrea Morichetta, IMT Lucca, Italy, July 2016.