I am a Ph.D. student at the chair of Prof. Holger Hermanns since April 2019.

Teaching Experience

  • Teaching Assistant for “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer Term 2019
  • Student Teaching Assistant for “Embedded Systems”, Core Lecture, Summer Term 2018
  • Student Teaching Assistant for “Ethics for Nerds”, Advanced Lecture, Summer Term 2017


Year Publication Open Access?
2019 Maximilian A. Köhl, Dimitri Bohlender, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith :
Explainability as a Non-Functional Requirement
IEEE 27th International Requirements Engineering Conference (RE) (upcoming)
2018 Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio, and Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning.: 1-17
✓ (on easychair.org)
2018 Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings: 299-315
✓ (on powver.org)
2017 Kevin Baum, Maximilian A. Köhl, Eva Schmidt:
Two Challenges for CI Trustworthiness and How to Address Them
Proceedings of the 1st Workshop on Explainable Computational Intelligence (XCI 2017)
✓ (on aclweb.org)


Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5640
Location: Building E1 3, Room 507
E-mail: mkoehl@cs.uni-saarland.de