From a129a2a22aae274d15c56c1c9df606cf4294d06c Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 30 Aug 2017 19:53:44 -0400 Subject: [PATCH 1/1] Update research interests and conference presentations --- cv.tex | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/cv.tex b/cv.tex index 8e65b0a..3638053 100644 --- a/cv.tex +++ b/cv.tex @@ -138,7 +138,7 @@ \begin{itemize} \item Functional programming and functional languages. -\item Formal methods, especially type systems, proof systems, and automated +\item Formal methods, especially type systems, proof systems, and interactive provers. \item Verification, Haskell, and Rust. \end{itemize} @@ -180,18 +180,27 @@ \end{itemize} \end{itemize} -\section*{Conference Talk} +\section*{Conference Presentations} \begin{itemize} \item {\large \tallnums CUCSC 2017} \begin{itemize} \item {\largersans The Magic of Specifications and Type Systems} - (\hspace{.15mm}\href{https://static.aminb.org/cucsc-2017-slides.pdf}{pdf\hspace{.6mm}}), + (\href{https://static.aminb.org/cucsc-2017-slides.pdf}{slides}), at Canadian Undergraduate Computer Science Conference, University of Toronto, Canada, Jun 15--17 2017. \end{itemize} +\item {\large \tallnums Lassonde USSR Conference 2017} + + \begin{itemize} + \item {\largersans The Magic of Specifications and Type Systems} + (\href{https://static.aminb.org/eecs4080-poster.pdf}{poster}), + at Lassonde Undergraduate Summer Student Research Conference, York University, + Toronto, Canada, August 15, 2017. + \end{itemize} + \end{itemize} \section*{Professional Experience} -- 2.20.1