From: Amin Bandali Date: Thu, 4 Jul 2019 04:13:18 +0000 (-0400) Subject: general updates X-Git-Url: https://git.shemshak.org/~bandali/cv/commitdiff_plain/8b946863e605f9a4531e0dd3bbb4b0ca27f25297 general updates --- diff --git a/cv.tex b/cv.tex index 0b5afcb..328cb0c 100644 --- a/cv.tex +++ b/cv.tex @@ -1,5 +1,5 @@ %% cv.tex -%% Copyright 2016-2019 Amin Bandali +%% Copyright 2016-2019 Amin Bandali % % This work may be distributed and/or modified under the % conditions of the LaTeX Project Public License, either version 1.3 @@ -104,7 +104,7 @@ \medskip \begin{minipage}[t]{0.495\textwidth} - site: \href{https://bandali.eu.org}{https://bandali.eu.org} \\ + site: \href{https://shemshak.org/~amin/}{shemshak.org/\textasciitilde{}amin/} \\ email: \href{mailto:abandali@uwaterloo.ca}{abandali@uwaterloo.ca} \\ phone: available upon request \end{minipage} @@ -150,8 +150,8 @@ \item {\largersans A Comparison of the Declarative Modelling Languages B, Dash, and \tla} \textsf{\footnotesize - (\href{https://bandali.eu.org/papers/2018-AbBaDaSe-modre.pdf}{pdf}, - \href{https://bandali.eu.org/papers/2018-AbBaDaSe-modre.bib}{bib})} + (\href{https://shemshak.org/~amin/papers/2018-AbBaDaSe-modre.pdf}{pdf}, + \href{https://shemshak.org/~amin/papers/2018-AbBaDaSe-modre.bib}{bib})} Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna\\ \textit{2018 IEEE 8th International Model-Driven Requirements @@ -169,12 +169,11 @@ \textit{Teaching Assistant} \begin{itemize} - \item I was a TA for \textsf{\small SE 212}, Logic and - Computation, taught by Dr. Day in Fall 2018. - \item I was a TA for \textsf{\small SE 463}, Software Requirements - Specification and Analysis, taught by Prof. Atlee. - \item I was a TA for \textsf{\small CS 136}, Elementary Algorithm - Design and Data Abstraction. + \item \textsf{\small SE 463} (Software Requirements Specification + and Analysis): Summer 2019 and 2018 + \item \textsf{\small SE 212} (Logic and Computation): Fall 2018 + \item \textsf{\small CS 136} (Elementary Algorithm Design and Data + Abstraction): Winter 2018 \end{itemize} \item {\large EECS Department, } York University\, |\, {\small fall 2017} @@ -230,7 +229,7 @@ \begin{itemize} \item {\largersans The Magic of Specifications and Type Systems} - (\href{https://bandali.eu.org/presentations/cucsc-2017-slides.pdf}{slides}), + (\href{https://shemshak.org/~amin/presentations/cucsc-2017-slides.pdf}{slides}), at Canadian Undergraduate Computer Science Conference, University of Toronto, Canada, Jun 15--17 2017. \end{itemize} @@ -239,7 +238,7 @@ \begin{itemize} \item {\largersans The Magic of Specifications and Type Systems} - (\href{https://bandali.eu.org/presentations/eecs4080-poster.pdf}{poster}), + (\href{https://shemshak.org/~amin/presentations/eecs4080-poster.pdf}{poster}), at Lassonde Undergraduate Summer Student Research Conference, York University, Toronto, Canada, August 15, 2017. \end{itemize} @@ -349,7 +348,7 @@ \href{https://github.com/unitb/tex2png-hs}{https://github.com/unitb/tex2png-hs} \item For more projects, visit my personal site at - \href{https://bandali.eu.org}{https://bandali.eu.org}. + \href{https://shemshak.org/~amin/}{https://shemshak.org/\textasciitilde{}amin/}. \end{itemize} \section*{Miscellaneous}