Matthias Cosler
Contact
| Reactive Systems Group |
| CISPA Helmholtz Center for Information Security |
| Saarland University Campus |
| Building: E 1.1, Room: 1.08 |
| Phone: | +49 681 302 5654 |
| eMail: | matthias.cosler at cispa.de |
| Office Hours: | Whenever my door is open |
About Me
I am a Ph.D. student in the Reactive Systems Group. I work at CISPA Helmholtz Center for Information Security while pursuing my Ph.D. at Saarland Informatics Campus at Saarland University.
Publications
Iterative Circuit Repair Against Formal Specifications
With Frederik Schmitt, Christopher Hahn, and Bernd Finkbeiner.To appear at the Eleventh International Conference on Learning Representations (ICLR 2023).
Teaching
| Summer 2020 | Organizer and Coach for Mathematics Preparatory Course at Saarland University |
| Summer 2018 | Organizer and Coach for Mathematics Preparatory Course at Saarland University |
| Winter 2017/2018 | Teaching Assistant for Foundations of Algorithms and Data Structures at Holger Dell’s group |
| Summer 2017 | Coach for Mathematics Preparatory Course at Saarland University which received the BESTE award for student initiatives and extraordinary commitment |
| Winter 2016/2017 | Teaching Assistant for Programming 1 at Dependable Systems and Software Chair |
| Summer 2016 | Teaching Assistant for Mathematics Preparatory Course at Saarland University |
Theses
| [C22] | Repairing Circuits with Transformers. Master Thesis. Saarland University, 2022. |
| [C19] | Towards Synthesizing Smart Contracts: Reducing ATL* Synthesis to HyperLTL Synthesis. Bachelor Thesis. Saarland University, 2019. |