From: Amin Bandali Date: Sun, 21 Apr 2019 05:08:44 +0000 (-0400) Subject: A few updates X-Git-Url: https://git.shemshak.org/~bandali/cv/commitdiff_plain/b3847ce394c4637c69fb8ae96761f6a027a0b4c3?ds=sidebyside A few updates --- diff --git a/cv.tex b/cv.tex index 9a6e292..ff22044 100644 --- a/cv.tex +++ b/cv.tex @@ -1,5 +1,5 @@ %% cv.tex -%% Copyright 2016-2017 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 @@ -43,7 +43,8 @@ colorlinks = true, urlcolor = black, pdfauthor = {\name}, - pdfkeywords = {Formal Methods, Type Systems, Proof Systems, Interactive Provers, + pdfkeywords = {Formal Methods, Formal Logic, Model Checking, + Verification, Type Systems, Proof Systems, Interactive Provers, Programming Languages, Functional Programming, Haskell, Rust}, pdftitle = {\name: Curriculum Vitae}, pdfsubject = {Curriculum Vitae}, @@ -103,7 +104,7 @@ \medskip \begin{minipage}[t]{0.495\textwidth} - site: \href{https://aminb.org}{https://aminb.org} \\ + site: \href{https://bndl.org}{https://bndl.org} \\ email: \href{mailto:abandali@uwaterloo.ca}{abandali@uwaterloo.ca} \\ phone: available upon request \end{minipage} @@ -148,9 +149,13 @@ \begin{itemize} \item {\largersans A Comparison of the Declarative Modelling Languages B, Dash, and \tla} - % TODO: pdf, + \textsf{\footnotesize + (\href{https://bndl.org/papers/2018-AbBaDaSe-modre.pdf}{pdf}, + \href{https://bndl.org/papers/2018-AbBaDaSe-modre.bib}{bib})} - Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna + Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna. + \textit{2018 IEEE 8th International Model-Driven Requirements + Engineering Workshop (MoDRE)} \end{itemize} \end{itemize} @@ -164,7 +169,7 @@ \textit{Teaching Assistant} \begin{itemize} - \item I'm currently a TA for \textsf{\small SE 212}, Logic and + \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. @@ -343,8 +348,8 @@ Source code available at \href{https://github.com/unitb/tex2png-hs}{https://github.com/unitb/tex2png-hs} -\item For more projects, visit my GitHub profile at - \href{https://github.com/aminb}{https://github.com/aminb}. +\item For more projects, visit my personal site at + \href{https://bndl.org}{https://bndl.org}. \end{itemize} \section*{Miscellaneous}