About Me
I'm a postdoctoral researcher in the group of
Stefan Felsner
at TU Berlin (
Arbeitsgruppe Diskrete Mathematik)
and principal investigator of the DFG project SCHE 2214/1-1 "Approaching Problems from Combinatorics and Geometry using Computer Assistance".
Formerly I was part of the
D-A-CH collaborative project "Arrangements and Drawings" supported by the DFG Grant FE 340/12-1.
Before I finished my PhD at TU Berlin, I did my Bachelor and Master studies at TU Graz.
The focus of my research lies in the interface of theoretical computer science and discrete mathematics, in particular, combinatorial geometry. My primary objective is to tackle fundamental mathematical problems by combining classic proving techniques with automated reasoning tools, in particular, SAT solvers and related techniques.
Detailed CV