X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/7909a222e5392db059f5523290483349de615009..3f773980ecb72191dc9beb3f1c382b478b3da63c:/bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index bc5335c..02026c4 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@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
@@ -84,7 +84,8 @@ PUBLICATIONS & PRESENTATIONS
       Engineering Workshop, MoDRE@RE 2018
       Copyright (c) 2018 IEEE.  All Rights Reserved.  Sadly.
 
-      pdf: https://p.bndl.org/modre2018-declarative.pdf
+      pdf: https://bndl.org/papers/modre2018-declarative.pdf
+      bib: https://bndl.org/papers/modre2018-declarative.bib
       models: https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/
 
   THESES
@@ -95,9 +96,10 @@ PUBLICATIONS & PRESENTATIONS
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
-      pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+      pdf: https://bndl.org/theses/bandali-mmath-thesis.pdf
+      bib: https://bndl.org/theses/bandali-mmath-thesis.bib
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath.html
+      http: https://bndl.org/theses/mmath.html
 
   TALKS
 
@@ -106,10 +108,11 @@ PUBLICATIONS & PRESENTATIONS
       Amin Bandali
       Presented at the LibrePlanet 2021 Conference, March 20, 2021.
 
-      slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
+      slides: https://bndl.org/talks/libreplanet-2021-jami.pdf
       slides with notes:
-       https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/libreplanet-2021.html
+       https://bndl.org/papers/libreplanet-2021-jami-with-notes.pdf
+      bib: https://bndl.org/talks/libreplanet-2021-jami.bib
+      http: https://bndl.org/talks/libreplanet-2021-jami.html
 
     The Magic of Specifications and Type Systems
 
@@ -142,7 +145,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 +174,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)