Dr Rayna Dimitrova

Lecturer in Verification

Telephone: +44 (0) 114 222 1951

Member of the Verification research group

ORCID | Google scholar


Rayna Dimitrova profile photo



Dr. Rayna Dimitrova is a Lecturer in Verification at the Department of Computer Science at the University of Sheffield since January 2020. Before joining the University of Sheffield she was a Lecturer at the School of Informatics at the University of Leicester, UK. Prior to that, she was a postdoc at The University of Texas at Austin, USA, and before that at Max Planck Institute for Software Systems, Germany. She obtained her Ph.D. from Saarland University, Germany.


Research Interests

Dr. Rayna Dimitrova works in the area of formal methods, and her research interests include verification (mathematically proving system correctness) and synthesis (correct-by-design system construction) of reactive systems, quantitative verification of probabilistic systems, and applications of formal methods to control and robotics.


Section under development