Sigmundo Preissler Junior

Details

Category: People

Last Updated on Tuesday, 09 May 2017 09:17

PhD Student

Current position: Since 2014 Sigmundo Preissler Junior is a Ph.D. student at the Computer Science Department of Sapienza University of Rome (Italy). That is a joint research doctoral study with the Engineering and Knowledge Management Department of Federal University of Santa Catarina - UFSC, Florianópolis (Brazil). His supervisors are Prof. Enrico Tronci (Sapienza) and Prof. Alexandre Leopoldo Gonçalves (UFSC).

Education: In 2009 he received his Master Degree from the University of the State of Santa Catarina, Joinville, Brazil in Electrical Engineering (Artifical Intelligence). Received his degree in Computer Science from University of Contestado, Canoinhas, Brazil in 2002.

Research interests: His current research interests comprise: knowledge engineering, model checking, smart grid applications, parameter identification and control software.

Projects: SmartHG, PAEON 

Massimo Nazaria

Details

Category: People

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.

Mariya Markelova

Details

Category: People

Last Updated on Tuesday, 09 May 2017 09:17

PhD Student

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

Education  In 2014 she received her Master Degree from Ufa State Aviation Technical University in "Software and administration of information systems".

Research interests Her current research interests comprise: automatic analysis of control system models, model checking, biological models.

Angela Pappagallo

Details

Category: People

Last Updated on Tuesday, 09 May 2017 09:17

PhD Student

Current position Since 2016 Angela Pappagallo is a Ph.D. student in the Department of Computer Science at Sapienza University of Rome (Italy). Her supervisor is Prof. Enrico Tronci.

Education In 2005, she received her Master Degree in Computer Science (cum Laude) from Sapienza University of Rome.

Research interests Her current research interests comprise: system identification, machine learning, statistical analysis and model checking.

Stefano Sinisi

Details

Category: People

Last Updated on Tuesday, 09 May 2017 10:44

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.

Marco Esposito

Details

Category: People

Last Updated on Thursday, 29 November 2018 11:26

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.