Curriculum Studiorum 1985 - 1988 Ph.D. in Physics, Università degli Studi di Genova 1979 - 1983 Laurea in Theoretical Physics (summa cum laude), Università degli Studi di Genova Academic Positions 2000 - Professor of Computer Science, Università degli Studi di Genova 1989 - 1999 Assistant Professor, Università degli Studi di Genova 1988 - 1989 Post doctoral fellow, International School for Advanced Studies, Trieste Visiting Positions Visiting Professor, Massachusetts Institute of Technology, Cambridge MA (fall 2013, spring 2001, fall 1999, and fall 1998) Visiting Scholar, Heriot-Watt University, Edinburgh (summer and fall 1996) Visiting Scholar, Institut National de Recherche en Informatique et en Automatique (INRIA) - Institut National de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes (summer 1994) Visiting Scientist, International Computer Science Institute, Berkeley CA (1992 - 1993) Visiting Scientist, Massachusetts Institute of Technology, Cambridge MA (summer 2012, summer 1997, summer 1988, and 1985 - 1986)