# Home

I am currently TAing 6.822 - Formal Reasoning about Programs. Office hours are held in 24-321. Please see the class website for the schedule of office hours.

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 Adam Chlipala and Mike Carbin.

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.