Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 12 years, 7 months
  • Last seen this week
  • Munich, Germany
Stats
4,630
reputation
62k
reached
42
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
33
silver badges
50
bronze badges
239
Score
27
Posts
56
Posts %
131
Score
12
Posts
25
Posts %
74
Score
10
Posts
21
Posts %
58
Score
14
Posts
29
Posts %
58
Score
10
Posts
21
Posts %
42
Score
4
Posts
8
Posts %
Top posts
View all questions and answers