2,881 reputation
15 33

Jan Johannsen

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.

Top Tags (34)

Score 164
Posts 22
Posts % 63
Score 71
Posts 7
Score 53
Posts 9
Score 47
Posts 10
Score 28
Posts 7
Score 24
Posts 3

Top Posts (35) All Questions Answers | Votes Newest

View all questions and answers

Badges (48)

Gold
Silver 15

Rarest

Bronze 33

Rarest