Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
3,874
reputation
7
2

Jan Johannsen

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.

  • Munich, Germany
  • Member for 7 years, 7 months
  • 3 profile views
  • Last seen Dec 12 '18 at 9:46