Faculty
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
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.
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Modular Attractor Acceleration in Infinite-State Games
Annual Conference on Computer Science Logic (CSL)
Reward Interfaces with Best-Effort Implementations
International Joint Conference on Artificial Intelligence (IJCAI)
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
Computer Aided Verification (CAV)
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
National Conference of the American Association for Artificial Intelligence (AAAI)
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
National Conference of the American Association for Artificial Intelligence (AAAI)
Symposium on Principles of Programming Languages (POPL)
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
Computer Aided Verification (CAV)
Localized Attractor Computations for Infinite-State Games
Symposium on Principles of Programming Languages (POPL)
Solving Infinite-State Games via Acceleration
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Compositional High-Quality Synthesis