Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 12 years, 2 months
  • Last seen more than a month ago
  • Munich, Germany
Stats
4,631
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.
12
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.