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