I am a Ph.D. student at the Department of Computer Science of the University of Milan. My research interests cover the macro-areas of Software Engineering, Parallel and Distributed Systems and Formal Methods.