Jan Johannsen
4,630
reputation
2
33
50
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.