Send email Copy Email Address

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Awards (selection)

2016: Sponsorship Award by the European Association for Computer Science Logic for the ESSLLI course "Model Counting for Logical Theories" 

2011/12: The 2011/2012 Best Paper Award of the DFG priority programme Reliably Secure Software Systems 

2008-2011: Microsoft Research European Ph.D. scholarship 
 

Short Bio

Dr. Rayna Dimitrova is tenure-track Faculty at CISPA. Before joining CISPA, she was a Lecturer (Assistant Professor) at the University of Sheffield, UK and at the University of Leicester, UK before that. Prior to that, Rayna held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. She received her PhD from Saarland University in Germany in 2014. Rayna’s research is in the area of formal methods, focusing on the specification, verification, and synthesis of reactive systems. She investigates primarily 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.

CV: Last stations

Since 2020
Tenure-track faculty at the CISPA Helmholtz Center for Information Security
2020 - 2020
Lecturer (Assistant Professor) at the University of Sheffield, UK
2018 - 2019
Lecturer (Assistant Professor) at the University of Leicester, UK
2017 - 2018
Postdoctoral Research Fellow at the University of Texas at Austin, USA
2013 - 2017
Postdoctoral Researcher at the Max Planck Institute for Software Systems, Germany

Publications by Rayna Dimitrova

Year 2024

Conference / Medium

POPL
Proceedings of the ACM on Programming Languages51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)

Year 2023

Conference / Medium

ATVA
Proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis21st International Symposium on Automated Technology for Verification and Analysis

Conference / Medium

TACAS
TACAS – International Conference on Tools and Algorithms for the Construction and Analysis of Systems29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Year 2022

Year 2021

Other

FMCAD
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 202121st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Year 2020

Conference / Medium

ATVA
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

Conference / Medium

ATVA
Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis

Year 2019

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Conference / Medium

ATVA
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings