X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/b058a98dee1a45aec9bc0ff1aaf9890b32555c0f..7808cfc75162b31f8a0a3fa6c462bea40c82d360:/bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index ea13352..2195709 100644
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -9,7 +9,7 @@
               phone: available upon request via email
 
               this file: https://bndl.org/bandali-cv.txt
-              last update: 2021-08-31
+              last update: 2021-10-30
               ------------------------------------------
 
 
@@ -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)