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

location | South Park, Colorado | |

age | 30 | |

visits | member for | 4 years, 1 month |

seen | Apr 9 at 16:11 | |

stats | profile views | 165 |

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 | 574 rep | 418 | |

Philosophy | 503 rep | 48 | |

MathOverflow | 362 rep | 28 | |

Mathematica | 276 rep | 37 | |

Cross Validated | 133 rep | 4 |

This user has no active bounties

# 25 Votes Cast

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

24 | up | 9 | question | ||

1 | down | 16 | answer |