Matthew Wampler-Doty

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

362 Reputation

Stack Overflow 574 rep 418
Philosophy 503 rep 48
MathOverflow 362 rep 28
Mathematica 276 rep 37
Cross Validated 138 rep 4

25 Votes Cast

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