PhD candidate in computer science at Brigham Young University, studying programming languages for probabilistic modeling and inference. Current topics of interest: formal languages, foundations of mathematics, measure-theoretic probability, applied probability, topology, and computation in the limit.
In my spare time, I learn piano arrangements of great music from video games. Current favorite composers: Yasunori Mitsuda (Chrono Trigger, Chrono Cross), and Koji Kondo and his protégés (Legend of Zelda, Super Mario). These guys are terrific.
Member for 9 years, 5 months
1 profile view
Last seen Sep 10 '13 at 19:16
- Theoretical Computer Science 684 684 55 silver badges88 bronze badges
- MathOverflow 599 599 33 silver badges1515 bronze badges
- Mathematics 547 547 33 silver badges1111 bronze badges
- Computational Science 283 283 11 silver badge66 bronze badges
- Cross Validated 186 186 66 bronze badges
- View network profile
Top network posts
- 18 Catastrophic cancellation in logsum
- 16 Is there a "disjoint union" sigma algebra?
- 16 Fields of mathematics that were dormant for a long time until someone revitalized them
- 15 Scott's stochastic lambda calculi
- 12 Iterative refinement algorithm for computing exp(x) with arbitrary precision
- 11 Is there a least-fixed-point formulation of inaccessible cardinals?
- 10 Are research papers hard to read?
- View more network posts →