Maximilian Schwenger

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.08
Phone: +49 681 302 5654
eMail: schwenger at
Office Hours: Whenever the door is open
Maximilian Schwenger

Research Interests


[STH+16] From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
Joint work with Álvaro Torralba, Jörg Hoffmann, David Howcroft, and Vera Demberg, COLING 2016. December 2016.


Lola Stream-based Specification Language and Runtime Monitor


Lukas Stemmler Monitoring Distributed Systems with Lola Bachelor Thesis (Ongoing)
Marvin Hofmann Ruby Lola Bachelor Thesis (Ongoing)
Christoph Rosenhauer Lola Compilation Bachelor Thesis (Ongoing, Co-Advised by Hazem Torfah)


When a Sentence falls apart… Bachelor Thesis, Saarland University, 2015


XMas 4.0 Digitalisierung am Nordpol (english version) Christmas Lecture @ 24h Lecture, Saarland University, 2017
Real-Time Stream Monitoring (based on paper) Qualifying Exam, Saarland University, 2017


Summer 2018 Assistant for Embedded Systems
Winter 2017 Assistant for Time Machine
Summer 2017 Coach for Mathematics Precourse
Winter 2016 Tutor for Verification at the Reactive Systems Group
Summer 2016 Student Tutor for Embedded Systems at the Reactive Systems Group
Summer 2015 Tutor for Artificial Intelligence at the Foundations of Artificial Intelligence Group
Winter 2014 Tutor for Theoretical Computer Science at the Computational Complexity Group
Summer 2014 Tutor for System Architecture at the Real-Time and Embedded Systems Lab