Marco Esposito

PhD Student

LinkedIn: https://www.linkedin.com/in/marcoesposito19/

Current position Marco Esposito is a PhD Student at the MCLab, Computer Science Department, Sapienza University of Rome, since November 2018.

Education He received the B.Sc degree in 2016 and the M.Sc degree, with full marks and honors, in 2018.

Research interests His research activity focuses on designing new Explicit Model Checking methods for Verification of Cyber-Physical Systems. He is currently involved in the SCAPR (POR FESR) Project.