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.
BadgesView all badges
This user doesn’t have any gold badges yet.
SupporterMay 5, 2014
AutobiographerSep 22, 2011
This user hasn’t posted yet.
Top network postsView all network posts