2,686 reputation
1132
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 49
visits member for 3 years, 11 months
seen Aug 19 at 6:05

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.


147
× 20
22
× 5
70
× 7
20
× 6
52
× 9
20
× 2
39
× 9
20
24
× 3
18
× 2

582 Votes Cast

all time   by type  
559 up 269 question
23 down 313 answer