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

RESEARCH

Group: Formal Methods in Computing / Software Organisation and Reuse Interests Software organisation, verification and reuse: Type systems; Type-based program verification, analysis, and transformation; Generative programming; Software evolution; (Dynamic) software product lines; Object-oriented constructs; Concurrency and mobility. Systems biology: Formal methods in systems biology; Simulation of biological systems. Publications DBLP Research group repository: "Type-Hierarchical Overview" , "Chronological Overview" H-index and G-index (Hirsch Number and Egghe's G-index): Google Scholar , alternative sites ( scHolar index , Arnetminer , QuadSearch , Microsoft Academics ) Software Software organisation, verification and reuse: TraitRecordJ (previously named SWRTJ), DeltaJ, Elena (StateJ), and other tools (with on-line demonstration) Systems biology: SCWC-bio-simulator

Projects and others scientific cooperations COST Action IC0701 (2008-2012) Distribution, Interaction, Composition, Specification for Object Systems (MIUR PRIN 2008) BioBits: developing white and green technologies by converging platforms from biology and information technology towards metagenomics (Regione Piemonte, 2009-2011) (Some) concluded: Language constructs and type systems for object oriented program components (German-Italian University Centre, 01/2009 - 05/2011), EOS DUE , TYPES , DART , EOS , more... Events Upcoming: CM track at SAC 2012 . (Some) past: FOOL 2011 , FMCO 2011 , FoVeOOS 2011 , FoVeOOS 2010 , CS2Bio 2010 @ DisCoTec , ECOOP 2009 , TYPES 2008 , ICTCS 2007 and CDR60 , OOPS track at SAC 2007 , OOPS track at SAC 2006 , ITRS 2004 @ ICALP/LICS , TYPES 2003 .

TEACHING (ITALIAN ONLY)

SOME ORGANIZATIONS

ACM (Association for Computing Machinery) EAPLS (European Association for Programming Languages and Systems) EATCS (European Association for Theoretical Computer Science) FSF (Free Software Foundation)	ADI (ITALIAN ONLY - Associazione Dottorandi e dottori di ricerca Italiani) ALSI (ITALIAN ONLY - Associazione nazionale Laureati in Scienze dell'informazione ed Informatica) GRIN (ITALIAN ONLY - Associazione Italiana dei Docenti Universitari di Informatica)