Stats
4,631
reputation
0
reached
0
answers
0
questions
Loading…
About
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.
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
-
Yearling
× 12Sep 19
2
bronze badges
-
SupporterMay 5, 2014
-
AutobiographerSep 22, 2011
Posts
This user hasn’t posted yet.
Top network posts
View all network posts