+\item {\large Software Engineering Lab, } York University\, |\, {\small summer
+ 2017}
+
+ \textit{Research Assistant}
+
+ \begin{itemize}
+ \item I'm working on expanding and testing the \texttt{mathmodels} library,
+ collection of abstract mathematical collections written in Eiffel. I'll also
+ be modeling various pieces of software in TLA+.
+ \end{itemize}
+