2,125 reputation
823
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 48
visits member for 2 years, 10 months
seen 22 hours ago

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.


362 Votes Cast

all time   by type  
348 up 161 question
14 down 201 answer