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.

352 Reputation

10 Sep 23 '13
10 Sep 8 '13
100 Jun 25 '13
+100 10:35 assoc
10 Feb 14 '13
10 Nov 25 '12
10 Aug 20 '12
10 Oct 13 '11
10 Sep 21 '11
10 Aug 29 '11
10 May 5 '11
10 Feb 14 '11
10 Jan 9 '11
10 Jan 8 '11
2 Jul 9 '10
30 Jul 8 '10
80 Jul 7 '10
10 Jul 6 '10
10 Jul 5 '10