title.tex

\begin{titlepage}
    \newpage
    
    {\setstretch{1.0}
    \begin{center}
    Федеральное государственное автономное образовательное \\
    учреждение высшего образования \\
    \vspace{1em}
    <<Национальный исследовательский университет \\
    <<Высшая школа экономики>>
    \\
    \vspace{4em}
    Факультет компьютерных наук \\
    \vspace{1em}
    Основная образовательная программа \\
    Прикладная математика и информатика \\
    \end{center}
    }
    
    \vspace{10em}
    
    \begin{center}
        \textbf{ВЫПУСКНАЯ КВАЛИФИКАЦИОННАЯ РАБОТА}
        \vspace{2em}
        \\
        \textbf{
            Программный проект на тему
            \linebreak
            <<Использование model checking для тестирования распределенных систем в фреймворке DSLab>>
        }
    \end{center}
    
    \vspace{8em}
    
    {\setstretch{1.0}
    \hfill\parbox{16cm}{
    \hspace*{5cm}\hspace*{-5cm}Выполнил студент группы БПМИ 195, 4 курса,\\
    Амеличев Константин Вадимович\\
     
    \hspace*{5cm}\hspace*{-5cm}Руководитель ВКР:\\
    Доцент, к.т.н., ФКН ВШЭ, Сухорослов Олег Викторович\\
    
    %\hspace*{5cm}\hspace*{-5cm}Куратор:\hfill < степень>, <звание>, <ФИО полностью>\\
    }
    }
    
    \vspace{\fill}

\begin{center}
Москва 2023
\end{center}
    
\end{titlepage}