Research on "Formal Methods in Computing"

Paola GIANNINI Full Professor, Università del Piemonte Orientale Dipartimento di Informatica, Università del Piemonte Orientale, Facoltà di Scienze, Via Bellini 25/G, 15100 Alessandria, Italy Phone: +39 0131 360171 Fax: +39 0131 360390 Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706784 Fax: +39 011 751603 E-mail: giannini@mfn.unipmn.it

RESEARCH

• General research interests in programming languages, type systems e modellazione sistemi. In particular:
  • Modellazione sistemi biologici
  • Coordination mechanishms for concurrent objects (Java-like languages)
  • Dynamic object re-classification (Java-like languages)
  • Automatic type inference (ML-like and JavaScript-like languages)
  • Type-based program verification, analysis, and transformation (ML-like languages)
  • Logical semantics for concurrency and mobility (process algebras)
  • Dynamic Languages
• Publications:
  • "Type-Hierarchical Overview"
  • "Chronological Overview"
• Projects:
  • BioBITs
  • EOS DUE
  • (Some) concluded: DART , EOS , more...
• Summer School Committee member of
  • 
• Recent PC member:
  • CASTA 2009
  • OOPS 2009 @ SAC 2009
  • ICSOFT 2006, ICSOFT 2007, ICSOFT 2008, ICSOFT 2009
  • FTfJP 2008
  • FTfJP 2007
  • FTfJP 2006
  • FOOL WOOD 2006 ,

TEACHING (italian only)

Summer activity (italian only)