4,483
reputation
2
29
48

Jan Johannsen
Loading…

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.

40
answers
6
questions
~53k
people reached
  • Munich, Germany
  • Member for 9 years, 10 months
  • 590 profile views
  • Last seen Jul 26 at 7:40

Top tags (47)

Score 232
Posts 26
Posts % 57
Score 127
Posts 12
Score 73
Posts 10
Score 57
Posts 10
Score 55
Posts 13
Score 40
Posts 4

Top posts (46)

View all questions and answers

Badges (79)

Gold

2

Rarest

Silver

29

Rarest

Bronze

48

Rarest