Raven Beutner

A profile picture of Raven Beutner

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.

Contact

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Saarland University Campus
Building: E 1.1, Room: 1.13
Phone: -
eMail: raven.beutner at cispa.de
Office Hours: Whenever the door is open

Publications

[BF21] A Temporal Logic for Strategic Hyperproperties
With Bernd Finkbeiner
32th International Conference on Concurrency Theory (CONCUR 2021). August 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). June 2021
[BFH19] Translating Asynchronous Games for Distributed Synthesis
With Bernd Finkbeiner, and Jesko Hecking-Harbusch
30th International Conference on Concurrency Theory (CONCUR 2019). August 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 Tutor for Mathematics Precourse at Saarland University.
Winter 2016/17 Re-exam Student TA for Programmierung 1