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

location | South Park, Colorado | |

age | 29 | |

visits | member for | 3 years, 9 months |

seen | Apr 9 at 16:11 | |

stats | profile views | 159 |

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 | 569 rep | 417 | |

Philosophy | 478 rep | 38 | |

MathOverflow | 352 rep | 28 | |

Mathematica | 266 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 |