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 |