X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/fff36cd0d7f8a8ed0e20f9b2d2d486f60dc734ed..a974e138a0e59afd40a7c31821ab70c3285cf7b8:/bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 544c70a..2195709 100644
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -1,16 +1,16 @@
-             CURRICULUM VITAE
+                           curriculum vitae
 
-               Amin Bandali
+                             Amin Bandali
 
-------------------------------------------
-site:  https://bndl.org
-email: bandali@uwaterloo.ca
-       bandali@gnu.org
-phone: available upon request via email
+              ------------------------------------------
+              site:  https://bndl.org
+              email: bandali@gnu.org
+                     bandali@uwaterloo.ca
+              phone: available upon request via email
 
-this file: https://bndl.org/bandali-cv.txt
-last update: 2021-07-23
-------------------------------------------
+              this file: https://bndl.org/bandali-cv.txt
+              last update: 2021-10-30
+              ------------------------------------------
 
 
 SUMMARY OF QUALIFICATIONS
@@ -18,8 +18,8 @@ SUMMARY OF QUALIFICATIONS
   - Experience in building software for diverse areas and platforms
     in various programming languages such as C, Python, and Haskell.
 
-  - Passionate about applying scientific and engineering methods
-    while designing and building software systems.
+  - Passionate about applying scientific and engineering methods in
+    design and implementation of software systems.
 
   - Using formal specification techniques to find specification-level
     bugs early in the design stage rather than implementation.
@@ -41,8 +41,8 @@ SUMMARY OF QUALIFICATIONS
 
 EDUCATION
 
-  Master of Mathematics in Computer Science, University of Waterloo,
-  2020
+  Master of Mathematics in Computer Science,
+  University of Waterloo, 2020
 
     Research focus:
       formal logic, model checking, verification
@@ -53,8 +53,8 @@ EDUCATION
     GPA:
       3.7/4.0
 
-  Bachelor of Science with Honours in Computer Science, York
-  University, 2017
+  Bachelor of Science with Honours in Computer Science,
+  York University, 2017
 
     Favourite courses:
       System Specification & Refinement, Software Requirements
@@ -97,7 +97,7 @@ PUBLICATIONS & PRESENTATIONS
 
       pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath.html
+      http: https://bndl.org/mmath
 
   TALKS
 
@@ -109,7 +109,7 @@ PUBLICATIONS & PRESENTATIONS
       slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
       slides with notes:
        https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/libreplanet-2021.html
+      http: https://bndl.org/libreplanet-2021
 
     The Magic of Specifications and Type Systems
 
@@ -142,7 +142,7 @@ WORK & RESEARCH EXPERIENCE
       I am part of the Jami core development team at Savoir-faire
       Linux, where I get to 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
+      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
@@ -171,7 +171,7 @@ WORK & RESEARCH EXPERIENCE
       CS 136 (Elementary Algorithm Design and Data Abstraction):
         TA in winter 2018
 
-    [*]: Teaching Assistant (marking exams and assignments),
+    [*] Teaching Assistant (marking exams and assignments),
     Instructional Apprentice (holding tutorials and marking),
     Research Assistant (doing research for/with supervisor)
 
@@ -217,7 +217,7 @@ WORK & RESEARCH EXPERIENCE
       and the MVC framework, used by employees for accessing various
       data catalogs and archives.
 
-    summer 2015 | Software Developer
+    summer 2015 | Computer Programmer
 
       Designed and implemented various applications in C# and C for
       analyzing and testing a satellite pass prediction algorithm for
@@ -251,7 +251,8 @@ SKILLS
     GNU/Linux distributions, including Trisquel, GNU Guix, Debian
 
   Languages
-    Persian (mother tongue), English (fluent), French (beginner)
+    Persian (mother tongue), English (native proficiency; IELTS: 9.0),
+    French (beginner)
 
 
 COMMUNITY SERVICE