Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 8 years, 7 months
  • Last seen more than a month ago
  • Munich, Germany
Stats
408
reputation
4k
reached
6
answers
0
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.

This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
15
Score
2
Posts
33
Posts %
14
Score
1
Posts
17
Posts %
7
Score
1
Posts
17
Posts %
7
Score
1
Posts
17
Posts %
7
Score
1
Posts
17
Posts %
2
Score
1
Posts
17
Posts %