A manifold is called boundary rigid if a the distance function on the boundary of a Riemannian manifold determines its Riemannian metric. Michel conjectured that all simple manifolds are boundary rigid and Pestov-Uhlmann's work shows that this is true in dimension 2. I will try to sketch the proof and hopefully talk about some techniques used in the paper.