Lambda the Ultimate

I am a graduate student at MIT in computer science interested in formal methods for probabilistic models and statistics.

functional languages, probabilistic programming, metacircularity, bayesian statistics