~bandali/cv

4977a8785fb4f09442327b825360c74260a9866c — Amin Bandali 10 months ago 0a60b02 master
update site url
1 files changed, 8 insertions(+), 6 deletions(-)

M cv.tex
M cv.tex => cv.tex +8 -6
@@ 36,6 36,8 @@
\newcommand{\tla}{TLA${}^+$}

\def\name{Amin Bandali}
\def\site{bndl.org}
\def\siteurl{https://\site}

% The following metadata will show up in the PDF properties
\hypersetup{


@@ 103,7 105,7 @@
\medskip

\begin{minipage}[t]{0.495\textwidth}
  site: \href{https://bandali.eu.org}{bandali.eu.org} \\
  site: \href{\siteurl}{\site} \\
  email: \href{mailto:bandali@uwaterloo.ca}{bandali@uwaterloo.ca} \\
  phone: available upon request
\end{minipage}


@@ 148,8 150,8 @@
  \begin{itemize}
  \item \textsf{A Comparison of the Declarative Modelling Languages B,
    Dash, and \tla} \textsf{\footnotesize
    (\href{https://bandali.eu.org/papers/modre2018-declarative.pdf}{pdf},
    \href{https://bandali.eu.org/papers/modre2018-declarative.bib}{bib})}
    (\href{\siteurl/papers/modre2018-declarative.pdf}{pdf},
    \href{\siteurl/papers/modre2018-declarative.bib}{bib})}

    Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna\\
    \textit{2018 IEEE 8th International Model-Driven Requirements


@@ 230,7 232,7 @@

  \begin{itemize}
  \item \textsf{The Magic of Specifications and Type Systems}
    (\href{https://bandali.eu.org/talks/cucsc-2017-slides.pdf}{slides}),
    (\href{\siteurl/talks/cucsc-2017-slides.pdf}{slides}),
    at Canadian Undergraduate Computer Science Conference, University
    of Toronto, Canada, Jun 15--17 2017.
  \end{itemize}


@@ 239,7 241,7 @@

  \begin{itemize}
  \item \textsf{The Magic of Specifications and Type Systems}
    (\href{https://bandali.eu.org/talks/eecs4080-poster.pdf}{poster}),
    (\href{\siteurl/talks/eecs4080-poster.pdf}{poster}),
    at Lassonde Undergraduate Summer Student Research Conference, York
    University, Toronto, Canada, August 15, 2017.
  \end{itemize}


@@ 377,7 379,7 @@
  \href{https://github.com/unitb/tex2png-hs}{\texttt{https://github.com/unitb/tex2png-hs}}

\item For more projects, visit my personal site at
  \href{https://bandali.eu.org}{\texttt{https://bandali.eu.org}}.
  \href{\siteurl}{\texttt{\siteurl}}.
\end{itemize}

\section*{Miscellaneous}