\input eplain

% -- custom defs
\def\\{\par\noindent\ignorespaces}
\def\section#1{{\vskip .75em}\par\noindent{\twelvebf#1}{\vskip .5em}}
\def\subsection#1{{\vskip .25em}\par\noindent{\sf#1}{\vskip .25em}}
\def\tla{TLA${}^+$}
\let\origmarker=\unorderedmarker

% -- fonts
% \font\sc=cmcsc10
\font\sf=cmss10
\font\sfb=cmssbx10
\font\eightrm=cmr8
\font\ninerm=cmr9
\font\ninermit=cmti9
\font\ninesf=cmss9
% \font\ninesfb=cmssbx10 scaled 900 % at 9pt
\font\eighttt=cmtt8
\font\ninett=cmtt9
% \font\elevenrm=cmr10 scaled \magstephalf
% \font\elevensf=cmss10 scaled \magstephalf
% \font\elevenbf=cmbx10 scaled \magstephalf
\font\twelvebf=cmbx12
% \font\twelverm=cmr12
% \font\twelvesc=cmcsc10 scaled 1200
% \font\fourteenbf=cmbx12 scaled \magstep1
\font\seventeenbf=cmbx12 scaled \magstep2
% \font\twentybf=cmbx12 scaled \magstep3

% -- packages
\beginpackages
\usepackage[utf8]{inputenc}
\usepackage{color}
\endpackages

% -- hyperlinks
\enablehyperlinks
\definecolor{darkblue}{rgb}{.063,.149,.58}
\hlopts[hrefext]{bwidth=0,colormodel=,color=darkblue}
\hlopts[hrefint]{bwidth=0}

% -- pdf metadata
\pdfinfo{
 /Title (Amin Bandali: R\string\351sum\string\351 (web))
 /Author(bandali)
 /Subject (R\string\351sum\string\351 (web))
 /Keywords (software developer, software engineer, formal methods,
  c, python, bash, haskell)}


% -- first page!
{\seventeenbf\noindent Amin Bandali}
\hfill
{\href{mailto:bandali@kelar.org}{\tt bandali@kelar.org} $|$
 phone number available upon request}

\bigskip

\interitemskipamount=.25em

\def\unorderedmarker{}


\section {Education}

\unorderedlist
\li {\bf Master of Mathematics in Computer Science $|$ University
 of Waterloo} $|$ 2018--2020 % completed July 14, 2020
 {
  \unorderedlist
  \li Thesis: \href{#mmath}{A Comprehensive Study of Declarative
   Modelling Languages}
  \li Research focus: formal logic, model checking, verification
  \endunorderedlist
 }

\li {\bf Bachelor of Science with Honours in Computer Science $|$
 York University} $|$ 2014--2017 % completed December 2017
 {
  \unorderedlist
  \li Favourite courses: System Specification \& Refinement, Software
  Requirements Engineering, Software Design, Operating Systems,
  Computational Complexity, Design \& Analysis of Algorithms
  \endunorderedlist
 }
\endunorderedlist % <-- education


%%\eject
%\vfil\break

\section {Work Experience}

\unorderedlist

\li {\bf Software Engineer (Search) $|$ Internet Archive} $|$ 2025--present
\unorderedlist
\li As part of the Internet Archive's Core Infrastructure Engineering
 team, I work on various aspects of the Archive's search systems.
\endunorderedlist

\li {\bf Software Engineer $|$ Canonical} $|$ 2022--2024
\unorderedlist
\li As the sole maintainer of Firefox in Ubuntu Desktop, my duties
 included porting, debugging, and building the Firefox source code
 for the architectures supported by Ubuntu Desktop (e.g. {\tt
 amd64} and {\tt arm64}) and triaging reported issues, to ensure
 new releases of Firefox with security fixes and new features are
 delivered to the millions of users who rely on Firefox as their
 default web browser.

\li I also worked on other aspects of Ubuntu and its desktop,
 including maintaining various GNOME applications and libraries in
 Ubuntu and upstream in Debian, and resolving package build issues
 to ensure the current Ubuntu development release continues to
 build and install correctly.
\endunorderedlist

\li {\bf Software Developer $|$ Savoir-faire Linux} $|$ 2020--2022
\unorderedlist
\li As part of the Jami core development team at Savoir-faire
 Linux, I worked on many aspects of Jami including maintenance and
 bug fixes for Jami's now-deprecated GTK GUI; maintaining packages
 of Jami and some of its dependencies for the Deb, Snap, and RPM
 package systems to bring the latest release of Jami to users
 across several GNU/Linux distributions including Debian, Ubuntu,
 Trisquel, Fedora, and openSUSE; and creating and maintaining
 Jenkins pipelines for continually testing, validating, and
 deploying various parts of Jami's code bases.

\li I also helped write, edit, and publish several technical
 articles on the Jami blog about the internals of Jami, worked on
 improving Jami's documentation, and served as community liaison
 between the Jami core team and the wider free software community
 of Jami users to help facilitate communications and relations
 between the two.
\endunorderedlist

\li {\bf Systems Administrator Intern $|$ Free Software Foundation
 (FSF)} $|$ 2020
\unorderedlist
\li Worked with the FSF tech team in a sysadmin role on a variety
 of tasks including installation of the Sourcehut free software
 forge on the FSF infrastructure for evaluation for the FSF forge
 project, as well as a series of enhancements for
 \href{https://www.gnu.org}{www.gnu.org}.
\endunorderedlist

\li {\bf Research and Teaching Assistant $|$ University of
 Waterloo} $|$ 2018--2020
 \unorderedlist
 \li Researched declarative behavioural modelling, with a focus on
  verification using model checking.
 \endunorderedlist

\li {\bf Research and Teaching Assistant $|$ York University} $|$
 2016--2017
 \unorderedlist
 \li Researched using the Z3 SMT solver and Haskell for doing
  predicate calculus proofs.
 \endunorderedlist

\li {\bf Software Developer $|$ Lotek Wireless Inc.} $|$ 2016
 {
  \unorderedlist
  \li In winter and summer 2016, designed and developed an Employee
   Portal web application in C\# and the MVC framework, used by
   employees for accessing various data catalogs and archives.
  \endunorderedlist
 }

\li {\bf Computer Programmer $|$ Lotek Wireless Inc.} $|$ 2015
 {
  \unorderedlist
  \li In summer 2015, designed and implemented applications in C\#
   and C for analyzing and testing a satellite pass prediction
   algorithm for predicting the pass windows of Argos satellites,
   for scheduling send times of data collected by the company's
   wildlife tracking products.
  \endunorderedlist
 }

\li {\bf Software Developer $|$ Athlete Builder} $|$ 2013--2014
{
 \unorderedlist
 \li Developed Athlete Builder's backend platform in C\# and MVC,
  and had a key role in development of the platform core.
  Developed the alpha version of Athlete Builder Android
  application in Java.
 \endunorderedlist
}

\endunorderedlist % <-- work experience


\section {Skills}

\unorderedlist
\li {\bf Programming}
\unorderedlist
\li Expert in C, Python, Bash, Emacs Lisp\\
 Proficient in C++, C\#, Java, JavaScript, Haskell, Guile Scheme,
 Eiffel
\endunorderedlist
\li {\bf Tools}
\unorderedlist
\li GNU Emacs, Git, Alloy, \tla, ProB, \TeX\ and \LaTeX, Docker,
 continuous integration systems
\endunorderedlist
\li {\bf Platforms}
\unorderedlist
\li Deep and solid understanding of the GNU/Linux operating system
 structure and internals.
\li Expert in problem-solving of software package life cycle
 (install, update, and upgrade) issues of applications and
 libraries for various GNU/Linux distributions.
\li Proficient in software development on Windows.
\endunorderedlist
\li {\bf Languages}
\unorderedlist
\li English (native proficiency; IELTS: 9.0/9.0), French
 (classroom study), Persian (mother tongue)
\endunorderedlist
\endunorderedlist % <-- skills


\section {Publications \& Presentations}

\unorderedlist

\li {\bf Papers}
\unorderedlist
% \interitemskipamount=1em
\li \href{https://www.kelar.org/~bandali/modre2018-declarative.pdf}{\sf
  A Comparison of the Declarative Modelling Languages B, Dash, and
  \tla} $|$ {\it MoDRE@RE 2018}\\
 Ali Abbassi, Amin Bandali,
 \href{https://cs.uwaterloo.ca/~nday/}{Nancy~A.\ Day},
 Jose Serna%\\
\endunorderedlist % <-- papers

\li {\bf Theses}
% \interitemskipamount=1em
\unorderedlist
\li[mmath] \href{https://www.kelar.org/~bandali/mmath.html}{\sf
 A Comprehensive Study of Declarative Modelling Languages}\\
Amin Bandali, {\it Master's thesis},
University of Waterloo, July 2020.
\endunorderedlist % <-- theses

\li {\bf Talks}
\unorderedlist
\interitemskipamount=1em
\li \href{https://www.kelar.org/~bandali/emacsconf-2025-gnus.html}{\sf
 Reading and writing emails in GNU Emacs with Gnus} $|$ {\ninermit
 EmacsConf 2025 conference,} {\ninerm 6 December 2025.}

\li \href{https://www.kelar.org/~bandali/gnu40-infra.html}{\sf
 State of the shared GNU infrastructure} $|$ {\ninermit GNU 40th
 anniversary celebration,} {\ninerm 27 September 2023.}

\li \href{https://www.kelar.org/~bandali/jami-2023.html}{\sf
 What's new in Jami} $|$ {\ninermit LibrePlanet 2023 Conference,}
 {\ninerm 18 March 2023.}

\li \href{https://www.kelar.org/~bandali/net-beyond-web.html}{\sf
 The Net beyond the Web} $|$ {\ninermit LibrePlanet 2022
 Conference,} {\ninerm 20 March 2022.}

\li \href{https://www.kelar.org/~bandali/jami-empowers-users.html}{\sf
 Jami and how it empowers users} $|$ {\ninermit LibrePlanet 2021
 Conference,} {\ninerm 20 March 2021.}

\li \href{https://www.kelar.org/~bandali/magic.html}{\sf
 The Magic of Specifications and Type Systems} $|$ {\ninermit
 Canadian Undergraduate Computer Science Conference 2017,}
 {\ninerm University of Toronto, Canada, 15--17 June 2017.}

\li \href{https://www.kelar.org/~bandali/yulug.html}{\sf
 Introducing YULUG} $|$ {\ninermit Computing Students Hub,}
 {\ninerm York University, Toronto, Canada, 12 February 2015.}
\endunorderedlist % <-- talks

\endunorderedlist % <-- publications & presentations


\section {Volunteer Work}

\unorderedlist

\li {\sf Free Software Foundation \& GNU Project}
{
 \unorderedlist
 \li FSF SysOps team member, LibrePlanet Committee member
 \li GNU maintainer, Savannah admin, assistant GNUisance,
  GNU Advisory Committee member
 \endunorderedlist
}

\li {\sf Debian GNU/Linux}
\unorderedlist
\li Debian Developer (with full upload rights) $|$
 fall 2023--present
\li Debian Maintainer $|$ winter 2023--fall 2023
\li Debian Contributor $|$ fall 2020--winter 2023
\endunorderedlist

\li {\sf Contributor $|$ Trisquel GNU/Linux $|$ 2020--present}

\li {\sf Organizer $|$ EmacsConf conference $|$ 2015,
 2019--present}

\li {\sf Systems Committee Member $|$ Computer Science Club (CSC)
 of the University of Waterloo $|$ 2019--present}

\li {\sf Community Contributor $|$ Savoir-faire Linux $|$
 2022--present}

\li {\sf Application Developer $|$ VONICAL Inc. $|$ 2013}
 \unorderedlist
 \li Worked on development of the Employment Accessibility
  Resource Network (EARN) portal using the Anahita social
  networking platform, written in PHP and running on GNU/Linux.
 \endunorderedlist

\li {\sf Mobile \& Web Developer $|$ Hire Works Inc. $|$ 2013}
 \unorderedlist
 \li Worked on a variety of web and mobile development projects
  for Hire Works.
 \endunorderedlist

\li {\sf Web Developer $|$ St. Brigid's Summer Camp $|$ 2012}
 \unorderedlist
 \li Redesigned and revamped the codebase for the photo gallery
  section of the camp's website in PHP and JavaScript.
 \endunorderedlist

\endunorderedlist % <-- community service


\bigskip
{\eightrm More detailed curriculum vitae also available:
 \href{https://www.kelar.org/~bandali/cv.html}{\eighttt
  https://www.kelar.org/\char`\~bandali/cv.html}}


\bye
