bio | website | w-d.org |
---|---|---|

location | South Park, Colorado | |

age | 30 | |

visits | member for | 4 years, 3 months |

seen | Apr 9 at 16:11 | |

stats | profile views | 168 |

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.

Stack Overflow | 619 rep | 518 | |

Philosophy | 503 rep | 48 | |

MathOverflow | 362 rep | 28 | |

Mathematica | 276 rep | 37 | |

Cross Validated | 138 rep | 5 |

This user has no active bounties

# 25 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

24 | up | 9 | question | ||

1 | down | 16 | answer |