Amin Bandali Software Engineer amin@shemshak.org DevOps/Sysadmin www.shemshak.org/~amin GNU/Linux, BSD -*- Experience -*- INTERNET ARCHIVE - Software Engineer, 2025-present Python, Bash, PHP, Docker Helping maintain Internet Archive's item metadata Elasticsearch clusters and a number of auxiliary clusters as a member of the Core Infrastructure Engineering team. . Improved logging of outcomes of items processed by the indexing pipeline and added logging of insertions into the pipeline. . Improved observability and visibility into the indexing pipeline by processing and shipping insertion and outcome logs into a new metrics Elasticsearch cluster with dashboards that provide details on the health status of the components comprising the various stages of the pipeline as they process and index items. CANONICAL - Software Engineer, 2022-2024 Python, Bash, C, Snap, dpkg/deb Maintained Firefox packages and worked on other aspects of Ubuntu and its desktop environment. . As maintainer of Firefox in Ubuntu, duties included porting, debugging, and building the Firefox code base for the architectures supported by the Ubuntu Desktop and triaging reported issues to ensure new releases of Firefox with security fixes and new features were delivered to the millions of users who rely on Firefox as their default web browser. . Work on other aspects of Ubuntu and its desktop included maintaining various GNOME applications and libraries in Ubuntu and upstream in Debian, and resolving package build issues to help make sure the Ubuntu development release continues to build and install correctly. SAVOIR-FAIRE LINUX - Software Developer, 2020-2022 Python, Bash, C, C++, Snap, dpkg, RPM, Jenkins Worked on various aspects of development of Jami as part of the Jami core development team at SFL. . Maintained and developed bug fixes for Jami's previous GTK-based GUI, maintained packages of Jami and some of its dependencies for the dpkg, 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. . Set up and maintained Jenkins pipelines for continuous testing, validation, and deployment of Jami's code bases across operating systems. . Wrote, edited, and published technical articles on the Jami blog about Jami's internals, 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 foster relations between the two. FREE SOFTWARE FOUNDATION - Sysadmin Intern, 2020 Worked with the FSF tech team staff in a sysadmin role on a variety of tasks including installation of the Sourcehut free software forge on the FSF infrastructure for evaluation, as well as various improvements for the machine serving www.gnu.org. UNIVERSITY OF WATERLOO - Research & Teaching Assistant, 2018-2020 Researched declarative behavioural modelling, with focus on verification using model checking. Held tutorial sessions and marked assignments and exams for several Computer Science courses. YORK UNIVERSITY - Research & Teaching Assistant, 2016-2017 Researched and used the Z3 SMT solver and Haskell to build a web application for doing predicate calculus proofs. LOTEK WIRELESS INC. - Software Developer, 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. LOTEK WIRELESS INC. - Computer Programmer, 2015 Designed and implemented various 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. ATHLETE BUILDER - Software Developer, 2013-2014 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. -*- Education -*- UNIVERSITY OF WATERLOO - Master of Mathematics in Computer Science, GPA: 3.7/4.0, 2018-2020 Research focus: formal logic, model checking, verification Thesis: A Comprehensive Study of Declarative Modelling Languages https://www.shemshak.org/~amin/mmath.html YORK UNIVERSITY - Bachelor of Science with Honours in Computer Science, GPA: 7.84/9.0, 2014-2017 Favourite and relevant courses: System Specification & Refinement, Software Requirements Engineering, Software Design, Operating Systems, Computational Complexity, and Design & Analysis of Algorithms -*- Skills -*- Programming Languages C, C++, Python, Emacs Lisp, Chicken Scheme, PHP, C#, Java, JavaScript, Haskell, Eiffel Human Languages English (native proficiency; IELTS: 9.0/9.0), French (classroom study), Persian (mother tongue) Tools GNU Emacs, GNU Bash, Git, Docker, Make, CMake, GDB, Jenkins CI/CD, TeX, LaTeX, OpTeX, TLA+ Operating Systems Debian GNU/Linux, Ubuntu, Trisquel, NetBSD -*- Community Service -*- Free Software Foundation & GNU Project FSF SysOps and LibrePlanet Committee member, GNU maintainer, Savannah admin, assistant GNUisance, GNU Advisory Committee member Debian GNU/Linux Debian Developer (with full upload rights), fall 2023-present Debian Maintainer, winter 2023-fall 2023 Debian Contributor, fall 2020-winter 2023 Trisquel GNU/Linux - Contributor, 2020-present EmacsConf - Organizer, 2015, 2019-present Computer Science Club of University of Waterloo - Systems Committee Member, 2019-present Savoir-faire Linux - Community Contributor, 2022-present VONICAL Inc. - Application Developer, 2013 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. Hire Works Inc. - Mobile & Web Developer, 2013 Worked on a variety of web and mobile development projects for Hire Works. St. Brigid's Summer Camp - Web Developer, 2012 Redesigned and revamped the code base for the photo gallery section of the camp's website in PHP and JavaScript.