Malte Schledjewski

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.


Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.16.1
Phone: +49 681 302 5665
eMail: malte.schledjewski at
Office Hours: Whenever the door is open
A profile picture of Malte Schledjewski


[FMP+22] BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
Joint work with Bernd Finkbeiner, Kaushik Mallik, Noemi Passing and Anne-Kathrin Schmuck. HSCC 2022. May 2022.
[FFS+19] Real-time Stream Monitoring with StreamLAB.
Joint work with Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Leander Tentrup and Hazem Torfah. MT-CPS 2019. March 2019.

Advised Theses


MapViewer – eine Softwarekomponente zur Visualisierung statistischer und georeferenzierter Daten Bachelor Thesis, Hochschule Kaiserslautern — University of Applied Sciences, 2015


Summer 2018 Coach for Mathematics Precourse
Summer 2018 Teaching assistant for Embedded Systems
Summer 2017 Coach for Mathematics Precourse
received the BESTE award for student initiatives and extraordinary commitment
Winter 2016 Tutor for Algorithms and Data Structures at the Department 1: Algorithms and Complexity of the Max-Planck Institute for Informatics
Summer 2016 Coach for Mathematics Precourse
Summer 2012 Tutor for Einf├╝hrung in wissenschaftliches Programmieren at the TU Kaiserslautern