Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Creation of the Project-Team: 2010 January 01

Section: Team, Visitors, External Collaborators

Research Scientist

Martin Avanzini [Inria, Researcher]

Faculty Members

Mario Bravetti [University Bologna, Associate Professor]

Ugo Dal Lago [University Bologna, Associate Professor]

Maurizio Gabbrielli [University Bologna, Professor]

Ivan Lanese [University Bologna, Associate Professor]

Cosimo Laneve [University Bologna, Professor]

Simone Martini [University Bologna, Professor, HDR]

Davide Sangiorgi [Team leader, University Bologna, Professor, HDR]

Gianluigi Zavattaro [University Bologna, Professor]

Post-Doctoral Fellow

Akira Yoshimizu [Inria]

PhD Students

Raphaelle Crubillé [Univ Denis Diderot and University Bologna]

Adrien Durier [ENS Lyon and University Bologna]

Francesco Gavazzo [University Bologna]

Liu Tong [University Bologna]

Michael Lodi [University Bologna, from Jun 2017]

Stefano Pio Zingaro [University Bologna]

Gabriele Vanoni [University Bologna]

Administrative Assistant

Christine Claux [Inria]

Visiting Scientist

Emma Kerinec [Inria, from Oct 2018]

External Collaborators

Claudio Guidi [Italiana Software]

Daniel Hirschkoff [Ecole Normale Supérieure Lyon]

Fabrizio Montesi [University of Southern Denmark]

Saverio Giallorenzo [University of Southern Denmark]