Florian Kohn
Contact
| Reactive Systems Group |
| Saarland University |
| Building: E 1.1, Room: 1.16.2 |
| Phone: | +49 681 302 5659 |
| eMail: | florian.kohn at cispa.de |
| Office Hours: | Whenever the door is open |
About Me
I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department of Saarland University and a member of the Graduate School of Computer Science.
Publications
| [FKS23] | Leveraging Static Analysis: An IDE for RTLola With Bernd Finkbeiner and Malte Schledjewski. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023). |
| [FHKP23] | Reactive Synthesis of Smart Contract Control Flows With Bernd Finkbeiner, Jana Hofmann and Noemi Passing. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023). |
| [FFKK22] | A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation With Bernd Finkbeiner, Martin Fränzle and Paul Kröger. Algorithms 15.4 (2022) (MDPI). |
Advised Theses
| [Aumann22] | Modularization of code in RTLola Bachelor Thesis, 2022 |
| Paul Eichler | RTLola in the Cloud: Reliability for Cloud Applications using Runtime Verification Bachelor Thesis, 2022 |
Teaching
| Summer 2020 | Organizer and Coach for Mathematics Precourse at Saarland University |
| Summer 2019 | Student TA for Cryptography at CISPA |
| Summer 2019 | Lecturer and Coach for Mathematics Precourse at Saarland University |
| Summer 2018 | Lecturer and Coach for Mathematics Precourse at Saarland University |
| Winter 2017/2018 | Student TA for Programming 1 at the Reactive Systems Group which received the Busy Beaver award for outstanding teaching performance |
Theses
| A Stream-based Approach to Network Intrusion Detection | Bachelor Thesis, Saarland University, 2019 |