Raven Beutner

A profile picture of 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