Registered user since Wed 19 Aug 2015
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.
|CurryOn 2016||On the chemistry of typestate-oriented actors|
|Show activities from other conferences|
View general profile