2,910 reputation
16 34

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 166
Posts 22
Posts % 63
Score 72
Posts 7
Score 53
Posts 9
Score 47
Posts 10
Score 29
Posts 7
Score 24
Posts 8

Top Posts (35) All Questions Answers | Votes Newest

View all questions and answers

Badges (50)

Gold
Silver 16

Rarest

Bronze 34

Rarest