2,456 reputation
931
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 48
visits member for 3 years, 6 months
seen yesterday

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.


2,456 Reputation

This user has no recent positive reputation changes

548 Votes Cast

all time   by type   month  
526 up 247 question 19
22 down 301 answer