\begin{frame}[allowframebreaks]{synchronicity}

Synchronize media playback on two computers over the internet.

\begin{enumerate}

    \item \textbf{User Study of Synchronicity UI} \\
        Guide UI design by having volunteers synch video, find what is intuitive.

    \item \textbf{Formal Verification of Reconnect} \\
        Model network errors in Spin and verify that recovery
        algorithms work.

    \item \textbf{Video Synch Test Cases - obseleet} \\
        Create a comprehensive test suite to verify the behaviour of
        video synch considering poor connectivity, bandwith, peer churn, etc.

    \item \textbf{TCP vs UDP - gotcha} \\
        Identify different levels of connectivity. Compare the fitness for purpose of a TCP based algorithm to a UDP based algorithm at the different levels.
	

\end{enumerate}

\end{frame}
