E-mail senden E-Mail Adresse kopieren

E-Mail

Adresse

Kaiserstraße 170-174
66386 St. Ingbert (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
 

Kurzbiografie

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: Letzte vier Stationen

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

Veröffentlichungen von Rayna Dimitrova

Jahr 2015

Konferenz / Medium

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

Konferenz / 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

Konferenz / Medium

Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.

Jahr 2014

Konferenz / Medium

EMSOFT
Proc. of the International Conference on Embedded Software (EMSOFT 2014)

Jahr 2013

Konferenz / Medium

Proceedings 1st International Workshop on Strategic Reasoning (SR'13)

Jahr 2012

Konferenz / Medium

Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)

Konferenz / Medium

Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

Konferenz / Medium

Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)