\begin{titlepage}
\begin{center}
\textsc{\LARGE Automatic Parallelization of Data-Driven JStar Programs}
\vspace{20mm}

\textsc{\large A thesis submitted in partial fulfillemnt of requirement for the degree}\\[0.3cm]
\large of \\[0.3cm]
\textsc{\large \textbf{Master of Science in Computer Science}}\\[0.3cm]
\large at\\[0.3cm]
\textsc{\large \textbf{The University of Waikato}}\\[0.3cm]
\large by\\[0.3cm]
\textsc{\large \textbf{Min-Hsien Weng}}\\[0.3cm]

\vspace{15mm}
\includegraphics[width=0.3\textwidth]{./waikato.jpg}
\vspace{15mm}

\large \textbf{Department of Computer Science}\\[0.1cm]
\large \textbf{Hamilton, New Zealand}\\[0.1cm]
\large \textbf{\today}\\[0.1cm]
\vspace{3mm}

\large \textbf{\textcopyright 2013 Min-Hsien Weng}\\[0.1cm]
\end{center}
\end{titlepage}

%---blank page
\newpage
\thispagestyle{empty}
\mbox{}