This book is on the construction and convergence analysis of implementable algorithms to approximate the optimal control of a stochastic linear-quadratic optimal control problem (SLQ problem, for short) subject to a stochastic PDE. If compared to finite dimensional stochastic control theory, the increased complexity due to high-dimensionality requires new numerical concepts to approximate SLQ problems; likewise, well-established discretization and numerical optimization strategies from inf...