Office: 32-G822

Email: sherman@csail.mit.edu

I am in my third year of graduate study in computer science at MIT. I’m advised by Mike Carbin and Adam Chlipala.

I’m interested in understanding how to program wiith 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.