Matthew Wampler-Doty

less info
362 reputation
28
bio website w-d.org
location South Park, Colorado
age 30
visits member for 4 years
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.

362 Reputation

Stack Overflow 571 rep 418
Philosophy 493 rep 38
MathOverflow 362 rep 28
Mathematica 276 rep 37
Cross Validated 133 rep 4

25 Votes Cast

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