Hey, I'm Maximilian!

computer science // analytic philosophy // modernist cuisine

About Me

I'm a computer science and philosophy student at Saarland University. Currently, I'm working on a masters degree in philosophy and pursue a doctoral degree in computer science. My research interests in computer science include formal logic, verification, and theory of software and hardware systems. Besides that, I'm also interested in programming languages, compiler construction, and static program analysis. My philosophical interests are philosophy of mind, mathematical philosophy, and machine explainability. As recreational activities, I enjoy cooking using modernist techniques, bouldering, and playing the keyboard.

Selected Projects


Jaspy is a Python VM written entirely from scratch in JavaScript with some unique features. Jaspy supports multiple threads, comes with an integrated debugger which offers remote debugging and provides a flexible preprocessor based architecture.

Python GTK Spellcheck

Python GTK Spellcheck is a simple but quite powerful spellchecking library for GTK written in pure Python. It's spellchecking component is based on Enchant and it supports both GTK bindings (PyGObject, PyGTK) as well as Python 3 and 2.

Python »libuv« CFFI Wrapper

Python »libuv« CFFI Wrapper is an object oriented CFFI based wrapper around the libuv network and asynchronous IO library. It is compatible with CPython as well as PyPy and supports all handles of libuv as well as filesystem operations, dns utility functions and miscellaneous utilities.


NeatAVR is an experimental library for AVR microcontrollers based on C++ meta programming. It provides an elegant Arduino like programming style without introducing any runtime overhead by utilizing C++ template classes and static methods.


2019, 27th International Requirements Engineering Conference

Explainability as a Non-Functional Requirement

Maximilian A. Köhl, Dimitri Bohlender, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith

2018, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio and Maximilian A. Köhl

2018, 18th International Conference on Runtime Verification

Efficient Monitoring of Real Driving Emissions

Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer

2017, 1st Explainable Computational Intelligence Workshop

Two Challenges for CI Trustworthiness and How to Address Them

Kevin Baum, Maximilian A. Köhl, Eva Schmidt