Section: Dissemination

Teaching

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

• Mario Bravetti

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

  • Master: “Tecnologie Web Avanzate”, 46 hours, 1st or 2nd year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Java”, 20 hours, 1st 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

  • PhD: “Semantics of Linear Logic”, 8 hours, Universita' degli Studi di Milano, Italy.

  • PhD: “Category Theory and Programming Languages”, 10 hours, University of Oregon, USA.

• Ivan Lanese

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

  • Master: “Data Bases and Information Systems”, 24 hours, 1st year, University of Bologna, Italy.

• Cosimo Laneve

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

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

• Simone Martini

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

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

  • Master: “Types and programming languages”, 40 hours, 1st year, University of Bologna, Italy.

  • Master: “Classical Logic”, 12 hours, 1st and 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.

• Gianluigi Zavattaro

  • Master: “Informatica Teorica”, 72 hours, 1st year, University of Bologna, Italy.

  • Master: “Linguaggi di Programmazione”, 48 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: “Laboratorio di Operating Systems”, 40 hours, 2nd year, University of Bologna, Italy.

• Elena Giachino

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

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.

• Ornela Dardha, january 2011, Types for processes, D. Sangiorgi.

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

• Tudor Alexandru Lascu, january 2011, Formal methods for modelling and analyzing concurrent systems, C. Laneve.

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

• Jacopo Mauro, january 2009, Constraints and concurrency, M. Gabbrielli.

• Giulio Pellitta, january 2011, Implementations of geometry of interaction, S. Martini.

• Paolo Parisen Toldin, january 2010, Implicit computational complexity for probabilistic classes, S. Martini.

A few other PhD students are (co)-supervised by members of Focus, but are not in the Focus team:

• Michele Alberti - Marseille; 1/12/2011; Separation results in the algebraic lambda-calculus; L. Regnier/S. Martini

• Ivano Ciardelli - Bordeaux; 1/11/2010; Models of first order linear logic and their use in linguistics; C. Retoré/S. Martini

• Claudio Mezzina - Grenoble; 1/9/2008; Reversible computations in processes; Stefani-Sangiorgi.

• Marco Solieri - Paris Nord; 1/12/2011; Complexity of reduction in sharing graphs; S. Guerrini/S. Martini

• Sara Zuppiroli, Bologna; january 2010; models for quantum computing; U. Dal Lago.