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
Publications
| 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) |
Contact
| Address: | Campus Saarbrücken, 66123 Saarbrücken |
| Phone: | +49 681 302 5640 |
| Location: | Building E1 3, Room 508 |
| E-mail: | mkoehl@cs.uni-saarland.de |