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 double masters degree in both subjects. 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

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

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.

Publications

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