Selected Visits

• Computer Science Laboratory, SRI International, Menlo Park, California, USA, Observer, March-May 2019, May-June 2017, and International Fellow, September 2015 - September 2016 (sabbatical year).

• School of Computer Science and Software Engineering, East China Normal University, Shanghai, PR China, April-May 2018.

• Institute of Software, State Key Laboratory for Computer Science, Chinese Academy of Sciences, Beijing, PR China, April 2018 and June 2011.

• Isaac Newton Institute for the Mathematical Sciences, University of Cambridge, Cambridge, England, UK, Program Visitor, Big Proof Program, July 2017.

• School of Computer Science, The University of Manchester, Manchester, England, UK, Visiting Professor, March-April 2017.

• Microsoft Research, Redmond, Washington, USA, Gratis Visitor, April 2016, June 2013, and Visiting Research Scholar, May-June 2008.

• Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany, September 2014 and June 1999.

• Max-Planck-Institut für Informatik, Germany, June 2014.

• Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana-Champaign, Illinois, USA, June 2013.

• Department of Informatics, King's College, London, England, UK, July 2012.

• Department of Mathematical Sciences, Tsinghua University, Beijing, PR China, May 2007.

• Dipartimento di Informatica, Sistemistica e Telecomunicazioni, Università degli Studi di Genova, Genova, Italy, June-July 2001.

• Dipartimento di Informatica e Sistemistica, Università degli Studi di Roma "La Sapienza", Roma, Italy, May-June 2000.

• Technische Universität Dresden, Guest Professor, Dresden, Germany, May-June 1999.

• Argonne National Laboratory, Argonne, Illinois, USA, June 1998 and January-February 1993.

• Artificial Intelligence Center, SRI International, Menlo Park, California, USA, October 1996.

• Department of Computer Science, National Taiwan University, Taipei, Taiwan ROC, March 1989.

• Laboratoire de Recherche en Informatique, Université Paris XI, Orsay, France, September-December 1988.

Maria Paola Bonacina