I am in my fourth year of graduate study in computer science at MIT. I’m advised by Mike Carbin.
I’m interested in understanding how to program with topological spaces (such as the real numbers or probability distributions) in a rigorous manner, via constructive theories of topology (locale theory and formal topology). In particular, I’ve been trying to understand how to make discrete decisions based on connected spaces, as well as how to compute with random values.
I’m also interested in statistical inference and probabilistic programming.