Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 9 years, 2 months
  • Last seen more than 6 years ago
  • Munich, Germany
Stats
408
reputation
0
reached
0
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
1
bronze badge
Posts

This user hasn’t posted yet.