Stefano Sinisi

PhD Student

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

Current position Since November 2016, Stefano Sinisi is a PhD Student at the MCLab, Computer Science Department, Sapienza University of Rome. His supervisors are Prof. Toni Mancini and Prof. Enrico Tronci.

Education He received B.Sc. in 2013 and M.Sc. Computer Science Degree in 2016 from Sapienza University of Rome, both with Full Marks (110/110) and summa cum laude.

Research interests Since 2013 he is carrying out research activities within MCLab. In particular from 2013 to 2016 he was mainly involved in the PAEON EU FP7 Project (http://paeon.di.uniroma1.it). His current research activity focuses on exploiting and formalising new Artificial Intelligence and Model Checking methods for modelling, verification and synthesis of Cyber-Physical Systems.