Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

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

• Marco Gaboardi

  • Master: “Advanced Programming”, 40 hours. 1st or 2nd year. University of Pennsylvania, USA.

• Ivan Lanese

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

  • Undergraduate: “Ingegneria del Software”, 20 hours, 2nd year, University of Bologna, Italy.

  • PhD: “Reversible Computing”, 10 hours, Department of Mathematics and Computer Science, University of Cagliari, Italy

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 90 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: “Basic Complexity”, 12 hours, 1st year and 2nd year, University of Bologna, Italy.

  • PhD: “Principles of Computer Science: Computing, Machines, and Programming Languages” Joint International Doctoral (Ph.D.) Degree in Law, Science and Technology, University of Torino, 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: “Introduction aux structures de données linéaires”, 6h hours, 1st year, Institut Galilé, Université Paris 13, France

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

  • Master: “Intranet, Internet et Web”, 44 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.

• Roberto Amadini

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

• Giulio Pellitta

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

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

• Elena Giachino

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

Supervision

Phd thesis completed in 2013:

• Paolo Parisen Toldin, Implicit computational complexity and probabilistic classes, Dottorato di Ricerca in Informatica, University of Bologna, April 2013 Supervisors: 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.

• Michele Alberti, July 2011; Separation results in the algebraic lambda-calculus; L. Regnier (Marseille) and S. Martini

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

• Ornela Dardha, january 2011, Type Systems for Distributed Programs: Components and Sessions, D. Sangiorgi.

• Saverio Giallorenzo, January 2013, Adaptation and choreography languages, M. Gabbrielli.

• Tudor Alexandru Lascu, January 2011, Automatic planning of the deployment of cloud-based applications, G. Zavattaro

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

• Giulio Pellitta, January 2011, Extending Implicit Computational Complexity and Abstract Machines to Languages with Control, S. Martini.

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

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

The following PhD student is supervised by a member of Focus, but currently not in the Focus team:

• Sara Zuppiroli (Bologna), January 2010; models for quantum computing; U. Dal Lago.

Juries

U. Dal Lago has been rapporteur and member of the PhD evaluation committee for Clement Aubert, Paris 13, Stephane Zimmermann, Paris 7, and Martin Avanzini, University of Innsbruck.

S. Martini has been rapporteur and member of the evaluation committee of the “Habilitation a Diriger des Recherche” (HDR) of Michele Pagani, Paris 13, December 2013.

G. Zavattaro has been rapporteur and member of the PhD evaluation committee for Huu Nghia Nguyen (supervisors Prof. Pascal Poizat and Fatiha Zaidi), Universite' Paris Sud, Paris, France; and he has been member of the Ph.D. evaluation committee of Luca Panziera (supervisor Prof. Flavio De Paoli), universita' Milano Bicocca, Milano, Italy.