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
  • Type theory
  • Sub-structural logics, formulae-as-types
• My publications
• Publications of my research group "Semantics and Logics of Computations"
• Recent events: MFCS 2008, FOOL (Steering Committee), FOOL'09, TLDI 2010.
• 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), on-going.
• Curriculum Vitae (in Italian).
• Software

TEACHING ( Didattica, in italiano)

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