Former researcher in the field of logic and complexity at the Institute of Computer Science of Humboldt-Universität zu Berlin.
Publications
Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
-
Conference Version:
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
-
Journal Version:
Logical Methods in Computer Science, Volume 15, Issue 3, 2019; part of the LMCS special issue for CSL 2017
Capturing Polynomial Time using Modular Decomposition
-
Conference Version:
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
-
Journal Version:
Logical Methods in Computer Science, Volume 15, Issue 1, 2019; part of the LMCS special issue for LICS 2017
L-Recursion and a new Logic for Logarithmic Space
joint work with Martin Grohe, André Hernich and Bastian Laubner
-
Conference version:
Proceedings of the 25th International Workshop / 20th Annual Confernce of the EACSL on Computer Science Logic (CSL 2011)
-
Journal Version:
Logical Methods in Computer Science, Volume 9, Issue 1, 2013; part of the LMCS special issue for CSL 2011
Isoperimetric Inequalities on Hexagonal Grids
Arc Consistency and Friends
joint work with Hubie Chen and Víctor Dalmau
-
Journal Version:
Journal of Logic and Computation, Volume 23, Number 1, 2013.
PhD thesis:
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
-
Thesis:
Humboldt-Universität zu Berlin, 2017
-
Abstract (in German and English)
Teaching
Summer term 2017
Winter term 2016/17
Summer term 2016
Winter term 2015/16
Summer term 2015
Winter term 2014/15
Summer term 2014
Winter term 2013/14
