Matthias Cosler

A profile picture of 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.

Theses

Repairing Circuits with Transformers Master’s Thesis, Saarland University, 2022
Towards Synthesizing Smart Contracts: Reducing ATL* Synthesis to HyperLTL Synthesis Bachelor’s Thesis, Saarland University, 2019

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