Rayna Dimitrova

Rayna Dimitrova

The number of faculty at CISPA continues to grow. Rayna Dimitrova moves from the University of Sheffield to Saarbrücken. With her, CISPA has already added six new senior scientists in 2020. Previously, Yang Zhang, Dániel Marx, Lucjan Hanzlik, Michael Schwarz and Cristian-Alexandru Staicu had already decided to work as a faculty at the Helmholtz Centre for Information Security.

Until she moves to Saarbrücken, Rayna Dimitrova is a lecturer (assistant professor) at the University of Sheffield, Great Britain. Before joining the University of Sheffield she was a Lecturer (Assistant Professor) at the University of Leicester, UK. Prior to that, she held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. She completed her PhD at Saarland University. Rayna’s research is focused on the specification, verification, and synthesis of reactive systems. She primarily investigates quantitative versions of these questions, centered around the aspect of uncertainty in system and environment models. She is particularly interested in applications of formal methods to autonomous systems, where her work addresses the limitations faced by autonomous control due to imperfect sensing and stochastic disturbances.

Rayna Dimitrova

Rayna Dimitrova