3,025 reputation
17 37

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 (36)

Score 166
Posts 22
Posts % 61
Score 72
Posts 7
Score 53
Posts 9
Score 47
Posts 10
Score 29
Posts 7
Score 24
Posts 8

Top Posts (36) All Questions Answers | Votes Newest

View all questions and answers

Badges (54)

Gold
Silver 17

Rarest

Bronze 37

Rarest