3,894
reputation
1
27
47

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.

39
answers
5
questions
~43k
people reached
  • Munich, Germany
  • Member for 7 years, 9 months
  • 503 profile views
  • Last seen 52 mins ago

Top tags (44)

Score 229
Posts 26
Posts % 59
Score 127
Posts 12
Score 70
Posts 10
Score 57
Posts 10
Score 55
Posts 12
Score 40
Posts 4

Top posts (44) All Questions Answers | Votes Newest

View all questions and answers

Badges (75)

Gold

1

Rarest

Silver

27

Rarest

Bronze

47

Rarest