Research on "Formal Methods in Computing"

Ferruccio DAMIANI Associate professor, PhD Address: Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino , Italy Phone: +39 011 670 6719 Fax: +39 011 751603 E-mail: damiani[at]di[dot]unito[dot]it

• Editorial. Nature 455, 835-836 (16 October 2008); doi:10.1038/455835b; Published online 15 October 2008.
• Editorial Nature 456, 142 (13 November 2008); doi:10.1038/456142a; Published online 12 November 2008.
• If you like, you can read and maybe subscribe: A statement of opposition to the recent laws and government acts concerning the Universities, and an appeal to strengthen and reform public University in Italy

• Una raccolta di MATERIALE CERTIFICATO E SPUNTI DI RIFLESSIONE (a cura di un gruppo di persone dell'Universita' di Genova, potete anche leggere le discussioni sul forum da loro predisposto)

RESEARCH ( "Formal Methods in Computing" area )

• Fields of interest
  • Programming languages and type systems, in particular:
    • Software organisation and reuse (Java-like languages)
    • Coordination mechanishms for concurrent objects (Java-like languages)
    • Dynamic object re-classification (Java-like languages)
    • Flexible compilation and linking (ML-like and Java-like languages)
    • Automatic type inference (ML-like languages)
    • Type-based program verification, analysis, and transformation (ML-like languages)
    • Logical semantics for concurrency and mobility (process algebras)
  • Systems biology
• Publications
  • "Type-Hierarchical Overview"
  • "Chronological Overview"
• On-line tools demonstrations
• Projects
  • COST Action IC0701 (2008-2012) , BioBits: developing white and green technologies by converging platforms from biology and information technology towards metagenomics (Regione Piemonte, 2009-2011) , Language constructs and type systems for object oriented program components (German-Italian University Centre, 2009-2010)
  • (Some) concluded: EOS DUE , TYPES , DART , EOS , more...
• Events
  • Upcoming: CS2Bio 2010 @ DisCoTec
  • Past: ECOOP 2009 , TYPES 2008 , ICTCS 2007 and CDR60 , OOPS 2007 @ SAC , OOPS 2006 @ SAC , ITRS 2004 @ ICALP/LICS , TYPES 2003 .

TEACHING (ITALIAN ONLY)

SOME INTERESTING ORGANIZATIONS

• EAPLS (European Association for Programming Languages and Systems)
• EATCS (European Association for Theoretical Computer Science, see the EATCS Bulletin) and Italian Chapter of EATCS
• FSF (Free Software Foundation)

• ALSI (ITALIAN ONLY - Associazione nazionale Laureati in Scienze dell'informazione ed Informatica)
• ADI (ITALIAN ONLY - Associazione Dottorandi e dottori di ricerca Italiani)
• GRIN (ITALIAN ONLY - Associazione Italiana dei Docenti Universitari di Informatica)

SOME USEFUL LINKS

• http://www.informatik.uni-trier.de/~ley/db/ (also available at http://dblp.uni-trier.de/ )