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.
Affiliation: Università di Padova, Italy
Personal website: http://www.math.unipd.it/~crafa/
|CurryOn 2016||On the chemistry of typestate-oriented actors|
|Show activities from other conferences|
View general profile