398
reputation
1
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.

5
answers
0
questions
~4k
people reached
  • Munich, Germany
  • Member for 4 years, 7 months
  • 19 profile views
  • Last seen 2 days ago

Top tags (10)

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

Top posts (5) All Questions Answers | Votes Newest

Badges (9)

Gold

Silver

1

Rarest

Bronze

8

Rarest