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 Teresa Michel 11, 15121 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 and system modelling. In particular:
  • 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
  • Modelling Biological Systems
• Publications:
  • "Type-Hierarchical Overview"
  • "Chronological Overview"
• Projects:
  • BioBITs
  • DISCO
  • (Some) concluded: EOS DUE , DART , EOS , more...
• Summer School Committee member of
  • ECOOP 2009
• Recent PC member:
  • ICSOFT 2012, DATA 2012, CS2Bio'12
  • ICSOFT 2011 , FOVEOOS 2011 , CS2Bio 2011
  • ICSOFT 2010 , FoVeOOS 2010
  • ICSOFT 2009 , CASTA 2009 , OOPS 2009 @ SAC 2009
  • ICSOFT 2008 , FTfJP 2008

Summer activity (italian only)