2,521 reputation
1031
bio website www2.tcs.ifi.lmu.de/~jjohanns
location Munich, Germany
age 49
visits member for 3 years, 7 months
seen Apr 24 at 12:39

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.


556 Votes Cast

all time   by type   month  
534 up 252 question 7
22 down 304 answer