\begin{titlepage}
    \vspace*{\fill}
    \begin{center}
        \begin{minipage}{0.45\textwidth}
            \hspace{-1.5em}
            \includesvg[width=0.9\textwidth]{assets/VU-logo-RGB.svg}
        \end{minipage}%
        \begin{minipage}{0.45\textwidth}
            \raggedleft
            \includegraphics[width=0.9\textwidth]{assets/uvalogo_regular_compact_p_nl.eps}
        \end{minipage}

        \vspace{3em}

        \begin{Large}
            Master Thesis
        \end{Large}

        \vspace{1em}

        \rule{\textwidth}{1pt}

        \vspace{2em}
        \begin{Huge}
            \mytitlefont
            Abstract Rewriting Formalized in Lean
        \end{Huge}

        \begin{large}
            \mysubtitlefont

            \vspace{0.75em}
            From Foundations to Completeness of 2-label \DCR{} for Countable Systems
        \end{large}

        \vspace{1em}
        \rule{\textwidth}{1pt}

        \vspace{2em}

        \begin{Large}
            Sam van Kampen (2665265)
        \end{Large}

        \vspace{4em}

        \begin{large}
            \begin{minipage}[t]{0.45\textwidth}
                \emph{Supervisors:}\\
                J\"org Endrullis\\
                Femke van Raamsdonk\\
            \end{minipage}%
            \begin{minipage}[t]{0.45\textwidth}
                \begin{flushright}
                    \emph{Second reader:}\\
                    Kristina Sojakova
                \end{flushright}
            \end{minipage}
        \end{large}

        \vspace{4em}

        \begin{minipage}{0.75\textwidth}
            \begin{center}
                \itshape
                A thesis submitted in partial fulfillment of the requirements for the joint UvA-VU Master of Science degree in Computer Science
            \end{center}
        \end{minipage}
        \vspace{5em}

        \today

        \vspace{\fill}
    \end{center}
\end{titlepage}