CurryOn 2016
Mon 18 - Tue 19 July 2016 Rome, Italy
co-located with ECOOP 2016
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

Contributions

CurryOn 2016 On the chemistry of typestate-oriented actors
Show activities from other conferences

ECOOP 2016-profile
View general profile