Antihydrogen is the simplest neutral antimatter atom. Precision comparisons between hydrogen and antihydrogen would provide stringent tests of CPT (charge conjugation/parity transformation/time reversal) invariance and the weak equivalence principle. In the last few years, the ALPHA collaboration has produced, and trapped antihydrogen [1, 2]. Most recently, this collaboration has probed antihydrogen’s internal structure by inducing hyperfine transitions in ground state atoms [3]. In this thesis, many details of the cold antihydrogen formation, trapping and measurements of antihydrogen performed in the ALPHA apparatus are presented, with a focus on antiproton cloud compression. Such compression is an important tool for the formation and trapping of cold antihydrogen, since it allows control of the radial size and density of the antiproton cloud. Compression of non-neutral plasmas can be achieved using a rotating time-varying azimuthal electric field, which has been called rotating wall technique.