2,290 reputation
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 48
visits member for 3 years, 1 month
seen 11 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.

421 Votes Cast

all time   by type   month  
404 up 189 question 34
17 down 232 answer