1: \begin{abstract}  

2: Let $M$ be a closed orientable $3$-manifold and $S$ a Heegaard surface of $M$. 

3: The space of Heegaard surfaces $\mathcal{H}(M,S)$ is defined to be 

4: the space of left cosets $\mathrm{Diff}(M)/\mathrm{Diff}(M,S)$. 

5: We prove 

6: that the fundamental group $\pi_{1}(\mathcal{H}(M,S))$ is finitely generated if and only if  

7: any element of $\pi_{1}(\mathcal{H}(M,S))$ can be represented by a ``thick" isotopy. 

8: As an application, 

9: we prove that  

10: the mapping class group of 

11: a strongly irreducible Heegaard splitting of a closed hyperbolic $3$-manifold 

12: is finitely generated. 

13: \end{abstract}