abstract.tex

% this is for the bastract aproval process 

\documentclass[12pt,letterpaper]{report}          % Single-sided printing for the library
%\documentclass[12pt,twoside]{report} % Double-sided printing

% \setlength {\marginparwidth }{2cm}
\usepackage[disable]{todonotes}
% \usepackage[textsize=tiny]{todonotes}

\input{preamble.tex}
% \usepackage{apalike}

\begin{document}
% test citation \cite{10.1007/1-4020-8141-3_34}



\title{A Dependently Typed Programming Language with Dynamic Equality}

\author{Mark Lemay}

% Phd = 2
\degree=2

\prevdegrees{B.S., Rochester Institute of Technology, 2010}

\department{Department of Computer Science}

\defenseyear{2022}
\degreeyear{2022}

\reader{First}{Hongwei Xi}{Associate Professor of Computer Science, Ph.D.}
\reader{Second}{Assaf Kfoury}{Professor of Computer Science, Ph.D.}
\reader{Third}{Marco Gaboardi}{Associate Professor of Computer Science, Ph.D.}
\reader{Fourth}{Chris Casinghino}{Research Scientist, Ph.D.\\Draper Laboratory}
% \ldots}
\todo[inline]{double check honerifics "Associate Professor" v "Professor", middle initial?}

% The Major Professor is the same as the first reader, but must be specified again for the abstract page.
\numadvisors=1
\majorprof{Hongwei Xi, PhD}{{Associate Professor of Computer Science}}

%TODO ideally DRY this

\begin{abstractpage}
\input{0_Prelim/abs}
\end{abstractpage}

\end{document}