A measure zero universal differentiability set in the Heisenberg group

In this talk I'll show that the Heisenberg group contains a measure zero set $N$ such that every Lipschitz function $f: H^n\to R$ is Pansu differentiable at a point of $N$. This is a joint work with G. Speight (University of Cincinnati).