Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization | Synapse