Research on "Semantics and Logics of Computation"
"Program analysis, synthesis, and transformation" group

"Italy rejects war as an instrument of aggression against the freedom of other peoples and as a means for the settlement of international disputes. Italy agrees, on conditions of equality with other States, to the limitations of sovereignty that may be necessary to a world order ensuring peace and justice among the Nations. Italy promotes and encourages international organisations having such ends." (Art. 11 of the Constitution of the Italian Republic)

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

RESEARCH

• General research interests in programming languages and type systems. In particular:
  • Dynamic object re-classification (Java-like languages)
  • Flexible compilation and linking (ML- and Java-like languages)
  • Automatic type inference (ML- and JavaScript-like languages)
  • Program verification, analysis, and transformation (ML-like languages)
  • Logical semantics for concurrency and mobility (process algebras)
• Projects:
  • TYPES , EOS
  • (Some) concluded projects: DART , more...
• Publications:
  • "Type-Hierarchical Overview"
  • "Chronological Overview"
• On-line tools demonstrations
• Events:
  • OOPS 2006 (Object-Oriented Programming Languages and Systems - Special Track at the 20th ACM Symposium on Applied Computing, SAC 2006 )
  • (Some) past events

TEACHING (ITALIAN ONLY)

SOME INTERESTING ORGANIZATIONS

• EAPLS (European Association for Programming Languages and Systems)
• EATCS (European Association for Theoretical Computer Science) 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)