\begin{frame}[allowframebreaks]{blueshift}

\begin{enumerate}

	\item \textbf{Detecting faces in pictures} \\
	
    \item \textbf{Formal verification of Rsync algorithm using alloy} \\
	
    \item \textbf{Formal verification of bucketing unsorted webpages} \\
	Given a set of pages we want to check if they're talking about the same person using natural language processing
	and then comparing it with human verified result

	\item \textbf{(FROM: coursebox) User study: search relevance} \\
          Determine search relevance based on the user's selection (index) of results. Hypothesis: users would find who they're looking for in the first 5 results.
\end{enumerate}

\end{frame}
