X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/da14228658fc24331843063c2cbcc01b3deeb0e2..bd5b7d91bc6525b2e46890a93b65c6cb5bfe055f:/cv.html diff --git a/cv.html b/cv.html index 880cff6..2973a4b 100644 --- a/cv.html +++ b/cv.html @@ -1,69 +1,404 @@ - + - - - - Amin Bandali's Curriculum Vitae - - - - -
-
-

bandali

-

Curriculum Vitae (PDF)

-
-
- - - - - - - - - - - - - - - - -
Sitebandali.eu.org
Emailabandali at uwaterloo dot ca
Phoneavailable upon request via email
-
- -
-

Education

-

Master of Mathematics (Computer Science) | 2018-present

-

University of Waterloo, Canada

-

- Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019 -

-

- Research focusing on formal logic, model checking, and verification. -

- -

B.Sc. Honours Computer Science | 2013-2017

-

York University, Toronto, Canada

-

GPA: 7.84/9.0

-

- Relevant courses: System Specification & Refinement, Software Requirements Eng., Software - Design, Operating Systems, Computational Complexity, Design & Analysis of Algorithms. -

-

- Finished first year (2013-14) at Carleton University with a GPA of 11.0/12.0, then - transferred to York University in fall 2014. -

-
-
-

Publications

-

See my publications page. -

-
- + + + + +curriculum vitae — bandali + + + + + + +

bandali's curriculum vitae

+ +

also available in plain text as +as bandali-cv.txt

+ + + +

Summary of Qualifications

+ + + +

Education

+ +
+
Master of Mathematics in Computer Science, University of Waterloo, +2020
+
Research focus: formal logic, model checking, verification
+
Thesis: A Comprehensive Study of Declarative +Modelling Languages
+
Supervisor: Prof. Nancy +A. Day
+
GPA: 3.7/4.0
+ +
Bachelor of Science with Honours in Computer Science, York +University, 2017
+
Favourite courses: System Specification & Refinement, Software +Requirements Engineering, Software Design, Operating Systems, +Computational Complexity, Design & Analysis of Algorithms
+
GPA: 7.84/9.0
+
+ +

Research Interests

+ +formal logic, model checking, theorem proving, verification + +

Publications & Presentations

+ +

The complete bibliography of my publications is available as +a bandali.bib +BibTeX bibliography +file.

+ +

Papers

+ +
+
A Comparison of the Declarative Modelling Languages B, DASH, and +TLA+ + +[ pdf +| models +] + +
+
+Ali Abbassi, Amin Bandali, +Nancy A. Day, Jose Serna
+8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018
+Copyright © 2018 IEEE. All Rights Reserved. Sadly. +
+
+ +

Theses

+ +
+
A Comprehensive Study of Declarative Modelling +Languages + +[ pdf +| hdl +| http +] + +
+
+Amin Bandali
+MMath Thesis, +University of Waterloo, David R. Cheriton School of Computer Science, +July 2020. +
+
+ +

Talks

+ +
+
Jami and how it empowers users + +[ pdf +(with +notes) +| http +] + +
+
+Amin Bandali
+Presented at the LibrePlanet 2021 Conference, March 20, 2021. +
+ +
The Magic of Specifications and Type Systems + +[ slides +| poster +] + +
+
+Amin Bandali, +Simon Hudon, +Jonathan S. Ostroff
+Slides presented at the Canadian Undergraduate Computer Science +Conference 2017, University of Toronto, Canada, June 15–17, 2017.
+Poster presented at the Lassonde Undergraduate Summer Student Research +Conference, York University, Toronto, Canada, August 15, 2017. +
+ +
Introducing YULUG
+
+Amin Bandali
+Slides introducing YULUG — (GNU/)Linux User Group at York +University — presented at a Computing Students Hub (CSHub) tech +talk at York University, Toronto, Canada, February 12, 2015. +
+
+ +

Work & Research Experience

+ +
+
Savoir-faire Linux
+
fall 2020–present | Free Software Consultant | Consultant en +logiciel libre
+
+
+
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.
+
+
+ +
Free Software Foundation (FSF)
+
spring 2020 | Intern
+
+
+
Working 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 www.gnu.org.
+
+
+ +
Cheriton School of Science, University of Waterloo
+
winter 2018–spring 2020 | TA, IA, RA [*]
+
+
+
SE 465 (Software Testing and Quality Assurance): TA in winter +2020
+
SE 212 (Logic and Computation): IA in +Fall 2019, TA in fall 2018
+
SE 463 (Software Requirement Specification and Analysis): TA in +spring 2019 and 2018
+
CS 136 (Elementary Algorithm Design and Data Abstraction): TA in +winter 2018
+
+
+
[*]: Teaching Assistant (marking exams and assignments), +Instructional Apprentice (holding tutorials and marking), Research +Assistant (doing research for/with supervisor)
+ +
Department of Electrical Engineering & Computer Science, York +University
+
fall 2017 | Teaching Assistant
+
+
+
EECS 1012 (Net-Centric Introduction to Computing): TA in fall +2017, running labs and marking labs and exams
+
+
+ +
Software Engineering Lab, York University
+
+
+
summer 2017 | Research Assistant
+
Worked on an implementation +of Lampsort +in Eiffel. Extended +the mathmodels +library, implementing a rational class for working with +arbitrarily large rational numbers.
+
+
+
+
+
summer 2016 | Research Student
+
Worked on Literate Unit-B, the verifier for Unit-B, a +new formal method focused on formal verification of reactive, +concurrent and distributed systems. From the Literate Unit-B codebase +(written in Haskell), decoupled the logic module and used it to build +Unit-B Web, a web interface using Literate Unit-B to do +predicate calculus proofs. Unit-B Web, also written in Haskell, +supports the LaTeX +syntax of the Unit-B logic, renders user input on the page, and calls +the sequent prover of the logic module, which uses the Z3 SMT solver +to check the validity of user input.
+
Separated Literate Unit-B's type checker from its parser in a +large refactoring, allowing easier substitution of other type checking +algorithms, and in preparation for implementing subtyping.
+
+
+ +
Lotek Wireless Inc.
+
+
+
summer 2016 | Software Developer
+
Designed and developed an Employee Portal web application in C# +and the MVC framework, used by employees for accessing various data +catalogs and archives.
+
+
+
+
+
summer 2015 | Software Developer
+
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
+
+
+
2013–2014 | Software Developer
+
Developed the Backend of Athlete Builder platform in C# and +MVC.
+
Key role in development of the platform core.
+
Developed the alpha version of Athlete Builder Android application +in Java.
+
+
+
+ +

Skills

+
+
Programming languages
+
C, C++, Haskell, Emacs Lisp, Guile Scheme, Python, Eiffel, Bash, +C#, Java, JavaScript
+
Tools
+
GNU Emacs, Git, Alloy, TLA+, +ProB, LaTeX, continuous +integration systems
+
Platforms
+
GNU/Linux distributions, including Trisquel, GNU Guix, Debian
+
Languages
+
Persian (mother tongue), English (fluent), French (beginner)
+
+ +

Community Service

+
+
EmacsConf conference
+
+
+
2019–present
+
Chief organizer and maintainer of conference infrastructure, +including the streaming servers.
+
2015
+
One of the organizers and in charge of setting up and maintaining +vital pieces of infrastructure.
+
+
+
Computer Science Club (CSC) of the University of Waterloo
+
Served as the CSC System Administrator in Winter and Spring 2020. +Present member of the CSC Systems Committee, overseeing and +maintaining a large fleet of GNU/Linux servers for CSC members, as +well as running the CSC mirror for free software projects.
+
Notable projects +include launching +the CSC web IRC client as part of an effort in bringing modern +user freedom- and privacy-respecting communication tools to club +members.
+
Free/libre software contributions
+
Co-maintainer +of GNUzilla +and IceCat, the GNU version of the Mozilla suite and the Firefox +browser respectively.
+
Maintainer +of ERC, the +powerful, modular, and extensible IRC client distributed with GNU +Emacs.
+
Committer and regular contributor +to GNU +Emacs and GNU Guix.
+
GNU +webmaster +and GNU +Savannah hacker.
+
Volunteer work
+
+
+
spring 2013 | Application Developer for VONICAL Inc.
+
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.
+
winter 2013 | Mobile & Web Developer for Hire Works Inc.
+
Worked on a variety of web and mobile development projects for +Hire Works.
+
summer 2012 | Web Developer for St. Brigid's Summer Camp
+
Redesigned and revamped the codebase for the photo gallery section +of the camp's website in PHP and JavaScript.
+
+
+
+