mmath: add thesis pdf and source ball (through git-annex)

[~bandali/bndl.org] / bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 49263b0..2195709 100644 (file)
--- 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@gnu.org
-       bandali@uwaterloo.ca
-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-08-31
-------------------------------------------
+              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