projects
/
~bandali
/
cv
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0a60b02
)
update site url
author
Amin Bandali
<bandali@gnu.org>
Wed, 1 Jan 2020 04:51:58 +0000
(23:51 -0500)
committer
Amin Bandali
<bandali@gnu.org>
Wed, 1 Jan 2020 04:52:08 +0000
(23:52 -0500)
cv.tex
patch
|
blob
|
blame
|
history
diff --git
a/cv.tex
b/cv.tex
index
7999c96
..
f4c54b2
100644
(file)
--- a/
cv.tex
+++ b/
cv.tex
@@
-36,6
+36,8
@@
\newcommand{\tla}{TLA${}^+$}
\def\name{Amin Bandali}
\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{
% The following metadata will show up in the PDF properties
\hypersetup{
@@
-103,7
+105,7
@@
\medskip
\begin{minipage}[t]{0.495\textwidth}
\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}
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
\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
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}
\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}
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}
\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}
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://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}
\end{itemize}
\section*{Miscellaneous}