Home

Massimo Nazaria

Details

Last Updated on Sunday, 28 July 2019 14:34

Former PhD Student

Personal Homepage
LinkedIn Profile

Current position

Since July 2019 Massimo Nazaria is a Research Technologist at INGV. See https://massimo-nazaria.github.io for more information.

Previously, he was a Ph.D. student in the Department of Computer Science at Sapienza University of Rome, where he worked in the Model Checking Laboratory doing research on Simulation Based Formal Verification of Cyber-Physical Systems under the supervision of Prof. Enrico Tronci.

Education

In 2018 he received his PhD in Computer Science from Sapienza University of Rome.

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

Research interests

His current research interests include model-driven software engineering, software verification, big data, and parallel computing.