Accessibility setting

Section: Dissemination

Teaching - Supervision - Juries

Teaching

Below are the teaching activities of the Focus members during 2014.

• Mario Bravetti

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

  • Master: “Applicazioni e Servizi Web”, 54 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.

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

• Ivan Lanese

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

  • Master: “Business Process Management”, 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.

  • PhD: “Proof theory for computer scientists”, 20 hours, University of Bologna, Italy.

• Jacopo Mauro

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

• Giulio Pellitta

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

  • Undergraduate: “Attivita' di supporto alla didattica universitaria di Informatica nell'ambito della Piattaforma di e-learning A3”, 140 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

  • Master: “Administration Système”, 29 hours, 3rd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France

  • Master: “Intranet, Internet et Web”, 35 hours, 2nd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France

• Gianluigi Zavattaro

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

Supervision

PhD thesis completed in 2014:

• Michele Alberti, “On operational properties of quantitative extensions of the $\lambda$-calculus”. December 2014. Joint degree: Docteur en Mathematiques, Aix-Marseille Université; Dottorato in Informatica, University of Bologna. Supervisors: L. Regnier, S. Martini.

• Ornela Dardha, “Type Systems for Distributed Programs: Components and Sessions”, May 2014. University of Bologna. Supervisor: D. Sangiorgi.

• Tudor Alexandru Lascu, “Automatic deployment of applications in the cloud”, May 2014. University of Bologna. Supervisor: G. Zavattaro.

• Giulio Pellitta, “Extending Implicit Computational Complexity and Abstract Machines to Languages with Control”, May 2014. University of Bologna. Supervisors: U. Dal Lago and S. Martini.

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.

• Roberto Amadini, January 2012, Constraint Programming, M. Gabbrielli.

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

• Saverio Giallorenzo, January 2013, Safe-adaptive services and choreography languages, M. Gabbrielli.

• Jean-Marie Madiot, September 2011, Types, proofs and proof techniques for process calculi, D. Hirschkoff and D. Sangiorgi.

• 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

U. Dal Lago has been rapporteur and member of the PhD evaluation committee for Marc Bagnol (University Aix-Marseille) and Michele Alberti (University Aix-Marseille).

D. Hirschkoff has been rapporteur for the PhD defense of J.B. Midez (December 2014, Université Aix Marseille).

G. Zavattaro has been member of the 2014 PhD evaluation committee at the department of Computer Science of the University of Genova, Italy.