Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 11 years, 2 months
  • Last seen this week
  • Munich, Germany
Stats
4,511
reputation
58k
reached
41
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
232
Score
26
Posts
55
Posts %
127
Score
12
Posts
26
Posts %
73
Score
10
Posts
21
Posts %
57
Score
10
Posts
21
Posts %
56
Score
14
Posts
30
Posts %
40
Score
4
Posts
9
Posts %
Top posts
View all questions and answers