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.
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.
2019, 27th International Requirements Engineering Conference
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
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio and Maximilian A. Köhl
2018, 18th International Conference on Runtime Verification
Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
2017, 1st Explainable Computational Intelligence Workshop
Kevin Baum, Maximilian A. Köhl, Eva Schmidt