From: Amin Bandali Date: Sat, 20 May 2017 14:20:14 +0000 (-0400) Subject: What I'm doing this summer X-Git-Url: https://git.shemshak.org/~bandali/cv/commitdiff_plain/2acab84b10c38968b1021e9c23145637765c2737?ds=inline What I'm doing this summer --- diff --git a/cv.tex b/cv.tex index e48fc28..e773490 100644 --- a/cv.tex +++ b/cv.tex @@ -23,6 +23,7 @@ \usepackage{graphicx} \usepackage{fontspec} \setmainfont[Numbers=Lining]{EB Garamond} +\setmonofont[Scale=0.85]{Ubuntu Mono} \newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond} \newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}} @@ -103,10 +104,10 @@ \section*{Research Interests} \begin{itemize} -\item Functional Programming and functional languages +\item Functional Programming and functional languages. \item Formal methods, especially type systems, proof systems, and automated - provers -\item Verification, Haskell, and Rust + provers. +\item Verification, Haskell, and Rust. \end{itemize} \section*{Education} @@ -118,26 +119,35 @@ \textit{York University}, Toronto, Canada \begin{itemize} - \item GPA: 7.9/9.0 - \item Expected completion: December 2017 + \item Expected completion: December 2017 \hspace{1em} GPA: 7.9/9.0 \item Relevant courses: System Specification \amper\ - Refinement, Operating System Design, Computational Complexity, Artificial - Intelligence \amper\ Logic Programming, Design \amper\ Analysis of - Algorithms. + Refinement, Software Requirements Eng., Software Design, Operating + Systems, Computational Complexity, Design \amper\ Analysis of Algorithms. \item Finished first year (2013-14) at \textit{Carleton University} with a GPA of 11.0/12.0 then transferred to \textit{York University} in Fall 2014. \end{itemize} -\item {\large High School Diploma}\, |\, {\small 2013} +%% \item {\large High School Diploma}\, |\, {\small 2013} - \textit{Glebe Collegiate Institute}, Ottawa, Canada +%% \textit{Glebe Collegiate Institute}, Ottawa, Canada - \hspace{1.3em} Average: 94.3\% +%% \hspace{1.3em} Average: 94.3\% \end{itemize} \section*{Research Experience} \begin{itemize} +\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} + \item {\large Software Engineering Lab, } York University\, |\, {\small summer 2016} \textit{Research Student} @@ -158,7 +168,7 @@ allowing easier substitution of other type checking algorithms and in preparation for implementing subtyping. \end{itemize} - \end{itemize} +\end{itemize} \section*{Professional Experience} \begin{itemize} @@ -265,11 +275,11 @@ \section*{Miscellaneous} \begin{itemize} -\item \textit{Programming Languages:} Haskell, Rust, Python, C, Emacs Lisp, - \LaTeX, C\#, Java, JavaScript. +\item \textit{Programming Languages:} Haskell, Rust, Eiffel, Python, C, Emacs + Lisp, C\#, JavaScript. \item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS, Windows. -\item \textit{Tools:} Emacs, Git, Zsh, CI Systems (e.g. Travis CI), +\item \textit{Tools:} Emacs, Git, Zsh, \LaTeX, CI Systems (e.g. Travis CI), Rodin, SQL DBs. \item \textit{Languages:} Persian (mother tongue), English (fluent), French (beginner).