Raven Beutner

Contact
Reactive Systems Group |
CISPA Helmholtz Center for Information Security |
Saarland University Campus |
Building: E 1.1, Room: 1.13 |
eMail: | raven.beutner at cispa.de |
Office Hours: | Whenever my door is open. |
About Me
I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University. I am also a member of the Graduate School of Computer Science.
Publications
[BF22b] | Software Verification of Hyperproperties Beyond k-Safety With Bernd Finkbeiner. 34th International Conference on Computer Aided Verification (CAV 2022). |
[BF22a] | Prophecy Variables for Hyperproperty Verification With Bernd Finkbeiner. 35th IEEE Computer Security Foundations Symposium (CSF 2022). |
[BCFHK22] | Deciding Hyperproperties Combined with Functional Specifications With David Carral, Bernd Finkbeiner, Jana Hofmann, and Markus Krötzsch. 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). |
[BOZ22] | Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming With Luke Ong and Fabian Zaiser. 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022). |
[BF21] | A Temporal Logic for Strategic Hyperproperties With Bernd Finkbeiner. 32nd International Conference on Concurrency Theory (CONCUR 2021). |
[BO21] | On Probabilistic Termination of Functional Programs with Continuous Distributions With Luke Ong. 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021). |
[BFH19] | Translating Asynchronous Games for Distributed Synthesis With Bernd Finkbeiner, and Jesko Hecking-Harbusch. 30th International Conference on Concurrency Theory (CONCUR 2019). |
Theses
On Termination of Higher-Order Recursive Programs with Continuous Distributions | Master’s Thesis, Oxford University, 2020 |
Translating Asynchronous Games for Distributed Synthesis | Bachelor’s Thesis, Saarland University, 2019 |
Teaching
Summer 2019 | Student TA for Introduction to Computational Logic |
Summer 2018 | Coach for Mathematics Precourse |
Winter 2017/2018 | Student TA for Programming 1 |
Summer 2017 | Student TA for Mathematics Precourse |
Winter 2016/17 | Re-exam Student TA for Programming 1 |