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.

Contact

Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.08
Phone: +49 681 302 5654
eMail: schwenger at react.uni-saarland.de
Office Hours: Whenever the door is open
Maximilian Schwenger

Research Interests

Publications

[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.

Tools

Lola Stream-based Specification Language and Runtime Monitor

Students

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)

Theses

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

Presentations

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

Teaching

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