2,367 reputation
930
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 48
visits member for 3 years, 1 month
seen Oct 28 at 16:43

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.


441 Votes Cast

all time   by type   month   week  
424 up 195 question 54 18
17 down 246 answer