Send email Copy Email Address

Email

Address

Kaiserstraße 21
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
 

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 2016

Conference / Medium

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

Conference / Medium

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

Year 2015

Conference / Medium

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

Conference / Medium

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

Conference / Medium

Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 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

Year 2014

Conference / Medium

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

Year 2013

Conference / Medium

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

Year 2012

Conference / Medium

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

Conference / Medium

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

Teaching by Rayna Dimitrova

Winter 2021/22

Formal Methods for AI Safety

The rapid progress in artificial intelligence and machine learning has lead to the deployment of AI-based systems in a number of areas of modern life, such as manufacturing, transportation, and healthcare. However, serious concerns about the safety and trustworthiness of such systems still remain, due to the lack of assurance regarding their behavior. To address this problem, significant efforts in the area of formal methods in recent years have been dedicated to the development of rigorous techniques for the design of safe AI-based systems. 

In this seminar, we will read and discuss research papers that present the latest results in this area. We will cover a range of topics, including the formal specification and verification of correctness properties of AI components of autonomous systems, and the design of reinforcement learning agents that respect safety constraints.

Each participant will give a presentation of an assigned paper, followed by a group discussion. All students are expected to read each paper carefully and to actively participate in the discussions. 

Logistics

Time: TDB

Venue: TBD

Participation in all meetings is mandatory (exceptions require an official document, such as a doctor's certificate).

 

Deliverables

  • 3 short reviews plus questions to the speaker: For 3 of the papers that will be discussed during the seminar (different from the paper that you will present) you will write a short (maximum 1 page) review that addresses the following questions:
  1. What is the problem addressed by the paper?
  2. What was done before, and how does the paper improve on previous work?
  3. What are the strengths and the limitations of the techniques in the paper?
  4. What part of the paper was difficult to understand?
  5. What are possible improvements or extensions of the techniques in the paper?

Each review is to be submitted before the meeting at which the paper will be presented and discussed.                      

In addition to your review you will have to submit 2 questions that you will ask to the presenter of the paper.

Each of the three reviews contributes 10% of your final grade.

  • Presentation: You will prepare and deliver a 30 min presentation of the paper assigned to you. You will have the possibility to get feedback on your slides before the presentation.

The slides and presentation make up 40% of the final grade.

  • Summary: After your presentation you will write a summary of the paper that you have presented, including a general overview of the topic and reflecting the group discussion.

The summary will make up 30% of the final grade.