1: \begin{abstract}

2: Consider the sub-Riemannian Heisenberg group $\H$.

3: In this paper, we answer the following question:

4: given a compact set $K \subseteq \R$ and a continuous map $f:K \to \H$,

5: when is there a horizontal $C^m$ curve $F:\R \to \H$ such that

6: $F|_K = f$?

7: Whitney originally answered this question for real valued mappings \cite{Whitney2}, and

8: Fefferman provided a complete answer for real valued functions defined on subsets of $\R^k$ \cite{FefferWhitFull}.

9: %Note that this question does not require any information about a jet of potential derivatives on $K$ as seen in \cite{ZimSpePinWhitney} and in Whitney's classical extension theorem \cite{Whitney}.

10: We also prove a finiteness principle

11: for $C^{m,\sqrt{\omega}}$ horizontal curves in the Heisenberg group in the sense of Brudnyi and Shvartsman \cite{BruShv}.

12: \end{abstract}

13: