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 people interested in statistics, machine learning, data analysis, data mining, and data visualization
Q&A for scientists using computers to solve scientific problems
Q&A for gamemasters and players of tabletop, paper-and-pencil role-playing games
Q&A for professional and enthusiast programmers
Q&A for programming puzzle enthusiasts and code golfers