Research on "Formal Methods in Computing"

Viviana BONO Associate Professor, PhD Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706733 Fax: +39 011 751603 E-mail: bono@di.unito.it

RESEARCH

• Interests:
  • Design and foundations for object-oriented languages
  • Behavioural types
  • Sub-structural logics, formulae-as-types
• My DBLP pubblications
• Publications of my research group "Semantics and Logics of Computations"
• Recent events: TLDI 2010, FTfJP 2011, PLACES 2013, ESOP 2014.
• PhD students:
  • Silvia Likavec (co-tutel with Pierre Lescanne, École Normale Supérieure, Lyon, France), 2001-2004.
  • Jarek Kusmierek (co-advisor: Pawel Urzyczyn, Warsaw University, Poland), 2006-2010.

TEACHING ( Didattica, in italiano)

--------------------------------------------------------------------------