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 |