As of May 31, 2023, we have updated our Code of Conduct.
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 11 years, 8 months
  • Last seen more than a month ago
  • Munich, Germany
Stats
4,541
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.
11
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.