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 Lola-Specifications of Distributed Systems Bachelor Thesis (Ongoing)

Theses

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

Teaching

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