DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO
Research on "Formal Methods in Computing"

A PICTURE OF
MYSELF

Ferruccio DAMIANI

Associate professor, PhD

Address: Università di Torino, Dipartimento di Informatica, 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


Are you interested in studying, doing research or teaching in Torino?


TEACHING (ITALIAN ONLY)
Comitato Tecnico Scientifico Dipartimento-Imprese (ITALIAN ONLY)

RESEARCH

NEWS
2015-07
We got a new project: I am responsible for the Ateneo/CSP Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability (2015-07-01 -- 2017-06-30).
2015-07
HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud.
2015-02
We got a new project: I am local responsible for the EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (2015-02-01 -- 2018-01-31).
2015-02
We got a new project: I am MC Member of EC-COST Action IC1402 (2014-12-17 -- 2018-12-18) ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site).
2014-06-04
Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award.
2013-01
We got a new project: I am local responsible for the POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains (2013 -- 2015).
2013-01
We got a new project: Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types.
2012-10
We got a new project: MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (2013 -- 2016).
2012-09-26
Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award.
2012-06
We got a new project: EC-COST Action IC1201 (2012 -- 2016) BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site).


EVENTS


SOME ORGANIZATIONS
  • ACM (Association for Computing Machinery)
  • EAPLS (European Association for Programming Languages and Systems)
  • EATCS (European Association for Theoretical Computer Science)
  • ETAPS (European Joint Conferences on Theory and Practice of Software)
  • 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)
  • MIUR (ITALIAN ONLY - Ministero dell'Istruzione, dell'Universita' e della Ricerca - si veda il breve Video sulle geniali politiche MIUR proiettato nel corso della cerimonia di inaugurazione dell'anno accademico 2013-2014 dell'Universita' di Torino)


[ Restricted area ]


[ "Formal Methods in Computing" group] [Department's HOME]

Last update: Jul 01, 2015