I will discuss the theoretical and practical aspects of working with hyperbolic 3-manifolds computationally, illustrating the topic by extensive real-time demonstrations of the program SnapPy. Highlights include rigorous algorithms for determining hyperbolicity, testing for isometry, and solving the word problem.