From: Amin Bandali Date: Tue, 4 May 2021 03:53:10 +0000 (-0400) Subject: Long-overdue update to résumé. X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/cv/commitdiff_plain/e3d5bea97654c5c1a65cf838d156f4e6a4f3ec04 Long-overdue update to résumé. --- diff --git a/bandali-resume.tex b/bandali-resume.tex index 8e336d7..2cc374e 100644 --- a/bandali-resume.tex +++ b/bandali-resume.tex @@ -1,6 +1,6 @@ % bandali-resume.tex --- bandali's résumé -*-latex-*- -% Copyright (C) 2016-2020 Amin Bandali +% Copyright (C) 2016-2021 Amin Bandali % This résumé is free software: you can redistribute it and/or modify % it under the terms of the GNU General Public License as published by @@ -19,10 +19,10 @@ \documentclass[letterpaper]{article} \def\name{Amin Bandali} -\def\site{bndl.org} +\def\site{shemshak.org/\string~bandali} \def\siteurl{https://\site} \def\pubs#1{\siteurl/publications\##1} -\def\mail{bandali@uwaterloo.ca} +\def\mail{bandali@gnu.org} \def\nday{https://cs.uwaterloo.ca/~nday/} %% package imports @@ -41,9 +41,9 @@ pdftitle={\name: Résumé}, pdfauthor={\name}, pdfsubject={Résumé}, - pdfkeywords={formal methods, formal logic, model checking, - verification, type systems, interactive theorem provers, - functional programming, lean prover, haskell}, + pdfkeywords={free software consultant, formal methods, formal logic, + model checking, verification, type systems, interactive theorem + provers, functional programming, haskell, lean prover}, pdfpagemode=UseNone, pdfcreator={GNU Emacs 28.0.50}, pdflang={English}, @@ -101,7 +101,7 @@ \renewcommand{\today}{\ifcase \month \or January\or February\or March% \or April\or May \or June\or July\or August\or September\or October% \or November\or December\fi% -\space \number \year} +\number \year} %% various command definitions \newcommand{\tla}{TLA${}^+$} @@ -121,8 +121,8 @@ \section*{Summary of Qualifications} \begin{enumerate}[label=\raisebox{-0.9ex}{\LARGE\textbullet}] -\item Experience with building software in diverse areas and for - various platforms, including GNU/Linux and Windows. +\item Experience in building software for diverse areas and platforms + in various programming languages such as C, Python, and Haskell. \item Passionate about applying scientific and engineering methods while designing and building software systems. \item Using formal specification techniques to find @@ -153,6 +153,24 @@ \section*{Work Experience} +\subsection*{Savoir-faire Linux} +\begin{itemize} +\item + \begin{description}[font=\mdseries] + \item[fall 2020--present] Free Software Consultant + + I am part of the Jami core development team at Savoir-faire Linux, + where I work on various parts of Jami as a Free Software + Consultant. These include working on and maintaining the + GTK+-based jami-gnome client application written in C++ and C, and + packaging Jami for various GNU/Linux distributions and other + platforms. I also serve as a community liaison between the Jami + core team and the wider free software community around Jami, with + the goal of helping facilitate the communications and relations + between the two. + \end{description} +\end{itemize} + \subsection*{Free Software Foundation (FSF)} \begin{itemize} \item @@ -262,8 +280,8 @@ \section*{Skills} \begin{itemize} -\item \textit{Programming Languages:} Haskell, Python, C, Emacs Lisp, - Guile Scheme, Eiffel, Bash, C\#, Java, JavaScript. +\item \textit{Programming Languages:} C, C++, Haskell, Emacs Lisp, + Guile Scheme, Python, Eiffel, Bash, C\#, Java, JavaScript. \item \textit{Tools:} GNU Emacs, Git, Alloy, \tla, ProB, \LaTeX, continuous integration systems. \item \textit{Platforms:} GNU/Linux distributions, including Trisquel,