TCS researcher at LMU Munich. I am interested in computational complexity and logic, especially where the two intersect. My main field of work is propositional proof complexity.
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Joined 1 year ago, last seen yesterday
1,392 reputation
416
badges
2 questions
18 answers
