E-mail senden E-Mail Adresse kopieren

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Awards (Auswahl)

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 

Kurzbiografie

Dr. Rayna Dimitrova ist Tenure-Track Faculty am CISPA. Vor ihrer Zeit am CISPA war sie Dozentin (Assistenzprofessorin) an der University of Sheffield und davor an der University of Leicester. Als Postdoktorandin war Rayna an der University of Texas in Austin und am Max-Planck-Institut für Softwaresysteme in Deutschland tätig. Sie hat 2014 an der Universität des Saarlandes in Deutschland promoviert. Raynas Forschung liegt im Bereich der formalen Methoden und konzentriert sich auf die Spezifikation, Verifikation und Synthese von reaktiven Systemen. Die Forscherin untersucht vor allem quantitative Versionen dieser Fragen, die sich um den Aspekt der Unsicherheit in System- und Umgebungsmodellen drehen. Ihr besonderes Interesse gilt der Anwendung formaler Methoden auf autonome Systeme, wobei sich ihre Arbeit mit den Einschränkungen befasst, denen sich die autonome Steuerung aufgrund unvollkommener Sensorik und stochastischer Störungen gegenübersieht.

CV: Letzte Stationen

Seit 2020
Tenure-track Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit
2020 - 2020
Dozentin (Assistenzprofessorin) an der Universität von Sheffield, GB
2018 - 2019
Dozentin (Assistenzprofessorin) an der Universität von Leicester, GB
2017 - 2018
Postdoctoral Research Fellow an der Universität von Texas in Austin, USA
2013 - 2017
Postdoctoral Researcher am Max-Planck-Institut für Softwaresysteme

Veröffentlichungen von Rayna Dimitrova

Jahr 2024

Konferenz / Medium

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

Jahr 2023

Konferenz / Medium

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

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

Jahr 2022

Jahr 2021

Andere

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

Jahr 2020

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

Konferenz / Medium

ATVA
Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis

Jahr 2019

Konferenz / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Konferenz / Medium

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