abstract: I will discuss a recent joint work with N. Selinger on constructive geometrization of branched coverings of the 2-sphere. I will further describe the connection between geometrization and the general question of algorithmic decidability of Thurston equivalence, and will present a new decidability result obtained jointly with Selinger, which generalizes my previous work with M. Braverman and S. Bonnot.