Jan Johannsen
  • Munich, Germany
  • Member for 10 years, 1 month
Stats
4,482
reputation
54k
reached
40
answers
6
questions
Loading…
About

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.

2
gold badges
30
silver badges
50
bronze badges
232
Score
26
Posts
57
Posts %
127
Score
12
Posts
26
Posts %
73
Score
10
Posts
22
Posts %
57
Score
10
Posts
22
Posts %
55
Score
13
Posts
28
Posts %
40
Score
4
Posts
9
Posts %
Top posts
View all questions and answers