Iona Kuhn
Contact
| Reactive Systems Group |
| CISPA Helmholtz Center for Information Security |
| Building: E 9.1, Room: 1.09 |
| Phone: | +49 681 87083 2166 |
| eMail: | iona.kuhn at cispa.de |
About Me
I am a Ph.D. student at Saarland University working at CISPA Helmholtz Center for Information Security. I am also a member of the Saarbrücken Graduate School of Computer Science.
Publications
| [CKF25] | Almost Fair Simulations. With Arthur Correnson and Bernd Finkbeiner. International Conference on Functional Programming (ICFP 2025). |
Selected Presentations
- Almost Fair Simulations at the International Conference on Functional Programming (ICFP 2025)
Awards
- First prize of ICFP-SRC 2024 for the work on Verified Equivalence Checker for Omega-Regular Expressions
Theses
| Top-Down Multiparty Session Types: Subject Reduction Theorem and Probabilities | Master Thesis. University of Oxford, 2024. |
| Verified Equivalence Checker for Omega-Regular Expressions | Bachelor Thesis. Saarland University, 2023. |
Teaching
| Summer 2025 | Teaching Assistant for the advance lecture Coinductive Proofs at the Reactive Systems Group. |
| Summer 2023 | Tutor for the lecture Concurrent Programming at Saarland University. |
| Winter 2022/2023 | Organizer of Didactic Seminar for Student Tutors at Saarland University. |
| Winter 2022/2023 | Supervision Tutor for the basic lecture Programming 1 at Saarland University. |
| Summer 2022 | Tutor for the basic lecture System Architecture at Saarland University. |
| Winter 2021/2022 | Tutor for the basic lecture Programming 1 at Saarland University. |
| 2021 to 2025 | Tutor, Coach, Lecturer and Organizer for Mathematics Prepcourse for Computer Science at Saarland University. |