Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Silvia Crafa

Registered user since Wed 19 Aug 2015

Name: Silvia Crafa

Bio: Silvia Crafa is Professor of Advanced Topics in Programming Languages at University of Padova, and she is member of the IFIP Working Group n.1.8: Concurrency Theory. Her research focuses on formal methods for the analysis of concurrent and distributed systems, ranging form the study of semantic foundations to logics and type systems.

Country: Italy

Affiliation: Università di Padova, Italy

Personal website: http://www.math.unipd.it/~crafa/

ECOOP 2016 Activities

ECOOP 2016-profile
View general profile