Matthew Wampler-Dotyless info
|location||South Park, Colorado|
|visits||member for||3 years, 8 months|
|seen||Oct 1 '12 at 14:30|
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.
|bio||website||w-d.org||visits||member for||3 years, 8 months|
|location||South Park, Colorado||seen||Oct 1 '12 at 14:30|