Massimo Nazaria

PhD Student

Current position Since 2014 Massimo Nazaria is a Ph.D. student in the Department of Computer Science at Sapienza University of Rome (Italy). His supervisor is Prof. Enrico Tronci.

Education In 2013 he received his Master Degree in Computer Science (cum Laude) from Sapienza University of Rome.

Research interests His current research interests comprise: model based software engineering, system-level software verification, model checking, and parallel computing.