Mariya Markelova

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.