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 |