Jan Johannsen
  • Munich, Germany
  • Member for 6 years, 8 months
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.
2
silver badges
8
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 %