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 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.
CONCUR
28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany
TACAS
Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
ATVA
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
TACAS
Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
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
EMSOFT
Proc. of the International Conference on Embedded Software (EMSOFT 2014)