%% cv.tex
-%% Copyright 2016-2019 Amin Bandali <bandali@gnu.org>
+%% Copyright 2016-2019 Amin Bandali <mab@gnu.org>
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either version 1.3
\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}
\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
\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}
\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}
\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}
\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}