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

This user hasn’t posted yet.