Send email Copy Email Address
Placeholder

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Awards

-  Sponsorship Award by the European Association for Computer Science Logic for the ESSLLI 2016 course "Model Counting for Logical Theories" 
- The 2011/2012 Best Paper Award of the DFG priority programme Reliably Secure Software Systems 
- Microsoft Research European Ph.D. scholarship 2008-2011
 

Short Bio

I am a tenure-track faculty member at the Helmholtz Center for Information Security (CISPA) in Saarbrücken, Germany. Before joining CISPA, I was a Lecturer (Assistant Professor) at the University of Sheffield, UK and at the University of Leicester, UK before that. Prior to that, I held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. I received my PhD from Saarland University in Germany in 2014. My research is in the area of formal methods, focusing on the specification, verification, and synthesis of reactive systems. I investigate primarily quantitative versions of these questions, centered around the aspect of uncertainty in system and environment models. I am particularly interested in applications of formal methods to autonomous systems, where my work addresses the limitations faced by autonomous control due to imperfect sensing and stochastic disturbances.

CV: Last four stations

2020 - now
Tenure-track faculty member at the Helmholtz Center for Information Security (CISPA)
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 2019

Conference / Medium

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

Conference / Medium

Computer Aided Verification - 31th International Conference, CAV

Year 2017

Conference / Medium

CONCUR
28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany

Year 2016

Conference / Medium

ATVA
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)

Conference / Medium

TACAS
Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)

Year 2015

Conference / Medium

TACAS
Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)

Conference / Medium

Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)

Conference / Medium

Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softwa