1 Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni {casale, eddy, esmirni}@cs.wm.edu Speaker: Giuliano Casale Numerical Methods for Structured Markov Chains,