Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Mario Bravetti

  • Undergraduate: “Tecnologie Web”, 66 hours, 3rd year, University of Bologna, Italy.

  • Master: “Linguaggi di Programmazione e Modelli Computazionali”, 120 hours, 2nd 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.

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

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

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

• Jacopo Mauro

  • Undergraduate: “Algoritmi e strutture dati”, 20 hours, 1st year, University of Bologna, Italy.

• Giulio Pellitta

  • Undergraduate: “Tutorato informatico trasversale”, 100 hours, Degree in Quantitative Finance, University of Bologna, Italy.

  • Undergraduate: “Attivita' di supporto alla didattica universitaria di Informatica nell'ambito della Piattaforma di e-learning A3”, 120 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Idoneita' Informatica”, 50 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “C.I. Fisica, Informatica e Statistica - Modulo 2 Informatica”, 12 hours, 1st 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: “Programmation impérative”, 33 hours, 1st year, Inst. Galilée, Université Paris 13.

  • Undergraduate: “Structures de données”, 12 hours, 2nd year, Cursus preparatoire integré ingénieurs, Sup Galilée, Université Paris 13.

  • Undergraduate: “Programmation fonctionnelle”, 14 hours, 2nd year, Inst. Galilée, Université Paris 13

  • Undergraduate: “Programmation web”, 20 hours, 3rd year, Inst. Galilée, Université Paris 13

  • Undergraduate: “Administration système” 30 hours, 3rd year, Inst. Galilée, Université Paris 13

  • Master: “Internet, Intranet, Web”, 35 hours, 2nd year, Ecole d'ingénieurs Sup Galilée, Université Paris 13

  • Master: “Administration systeme Unix”, 44 hours, 3rd year, Ecole d'ingénieurs Sup Galilée, Universitśe Paris 13

• Gianluigi Zavattaro

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

Supervision

PhD thesis completed in 2015:

• Jean-Marie Madiot, “Higher-order languages: dualities and bisimulation enhancements”, jointly supervised by D. Sangiorgi and D. Hirschkoff. March 2015 [11] .

• R. Amadini. “Portfolio Approaches in Constraint Programming”, University of Bologna, June 2015 [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.

• Ferdinanda Camporesi, January 2009, “Analysis of system biology”, R. Cousot (Ecole Normale, Paris) and M. Gabbrielli

• Alberto Cappai, January 2013; “Security, ICC and probabilistic bisimulation”, U. Dal Lago.

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

• Francesco Gavazzo, October 2015, “Causality in coinduction”, D. Sangiorgi.

• Saverio Giallorenzo, January 2013, “Real-World Choreographies”, M. Gabbrielli and F. Montesi

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

• Alessandro Rioli, January 2012; Bisimulation equivalence in quantum lambda calculi, U. Dal Lago.

• Marco Solieri, December 2011; “Géometrie de l'interaction, réseaux, et lambda-calcul”, S. Guerrini (Paris Nord) and S. Martini.

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

Juries

Dal Lago has been member of the PhD evaluation committee for Erika De Benedetti (January 2015, University of Torino).

Laneve has been member of the PhD evaluation committee for Abiar Al-Homaimeedi, King's College London, June 2015

Simone Martini has been rapporteur and member of the PhD evaluation committee for Matthieu Perrinel (Ecole Normale Supèrieure de Lyon); member of the PhD evaluation committee for Paolo Pistone (Università Roma Tre) and Federica Panarotto (Università di Verona).