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.
Q&A for theoretical computer scientists and researchers in related fields
Q&A for people studying math at any level and professionals in related fields
Q&A for professional mathematicians
Q&A for scientists using computers to solve scientific problems
Q&A for statisticians, data analysts, data miners and data visualization experts
Q&A for programming puzzle enthusiasts and code golfers