408
reputation
2
8

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.

6
answers
0
questions
~4k
people reached
  • Munich, Germany
  • Member for 5 years, 5 months
  • 19 profile views
  • Last seen Jul 6 at 9:39

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