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.
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.
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