Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 11 years, 6 months
  • Last seen this week
  • Munich, Germany
Stats
4,531
reputation
58k
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
32
silver badges
50
bronze badges
234
Score
27
Posts
56
Posts %
127
Score
12
Posts
25
Posts %
73
Score
10
Posts
21
Posts %
57
Score
10
Posts
21
Posts %
56
Score
14
Posts
29
Posts %
40
Score
4
Posts
8
Posts %
Top posts
View all questions and answers