Expanding covering maps (e.g., sub-hyperbolic rational functions restricted to their Julia sets) are encoded (uniquely determined up to topological conjugacy) by the associated iterated monodromy groups. We will discuss how dimension of the space can be deducted directly from the structure of the iterated monodromy groups, and how algebraic properties of the group are related to the dimension.