Minisuperspaces: Symmetries and Quantization

In several of the class A Bianchi models, minisuperspaces admit symmetries. It is pointed out that they can be used effectively to complete the Dirac quantization program. The resulting quantum theory provides a useful platform to investigate a number of conceptual and technical problems of quantum gravity.