Matthew Wampler-Doty

less info
352 reputation
28
bio website w-d.org
location South Park, Colorado
age 29
visits member for 3 years, 9 months
seen Apr 9 at 16:11
I am working on my MSc in Logic at the ILLC at Universiteit van Amsterdam. I am interested in automated deduction, formal logic, proof theory, computation, abstract algebra, game theory, and category theory.

Stack Overflow 564 rep 417
Philosophy 478 rep 38
MathOverflow 352 rep 28
Mathematica 266 rep 37
Cross Validated 133 rep 4

25 Votes Cast

all time   by type  
24 up 9 question
1 down 16 answer