|location||South Park, Colorado|
|visits||member for||4 years, 3 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.
|bio||website||w-d.org||visits||member for||4 years, 3 months|
|location||South Park, Colorado||seen||Apr 9 at 16:11|