2,037 reputation
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 47
visits member for 2 years, 7 months
seen 17 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.

346 Votes Cast

all time   by type   month   week  
333 up 152 question 5 2
13 down 194 answer