Henning Kerstan
This website requires JavaScript. Please enable JavaScript for this website.


Yesterday my first journal article was published in the open access journal Logical Methods in Computer Science (LMCS). It is freely available on arXiv so you can check what I've been doing. If you have any questions or comments, feel free to contact me.