About Me

I am PhD student at TU Wien and recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Discrete Mathematics and Geometry. Alexander Leitsch is my advisor and Matthias Baaz my co-advisor.
My main areas of reasearch are: logic, (structural) proof theory and automated deduction.