408
reputation
2
8

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.

6
answers
0
questions
~4k
people reached
  • Munich, Germany
  • Member for 6 years, 6 months
  • 21 profile views
  • Last seen Jul 20 at 7:52

Top tags (12)

Score 15
Posts 2
Posts % 33
Score 14
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 2
Posts 1

Top posts (6)

Badges (10)

Gold

Silver

2

Rarest

Bronze

8

Rarest