Dr Rayna Dimitrova

Lecturer in Verification

Telephone: +44 (0) 114 222 1951
Emailr.dimitrova@sheffield.ac.uk

Member of the Verification research group

ORCID | Google scholar

Publications

Rayna Dimitrova profile photo

Profile

Biography

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

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.

Grants

Section under development