Matthew Wampler-Doty

less info
362 reputation
bio website
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.

This user has not participated in any bounties