X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/47fc2c71cb87898f1ddc55d57389fa1cf660cc8b..c07a6d86ad9579b10edf38482d5fbb1071edcb37:/bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 19d48e6..f4351b3 100644
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -1,16 +1,17 @@
-             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://kelar.org/~bandali
+         email: bandali@kelar.org
+                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://kelar.org/~bandali/bandali-cv.txt
+         last update: 2021-10-30
+         ----------------------------------------------------
 
 
 SUMMARY OF QUALIFICATIONS
@@ -18,8 +19,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 +42,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 +54,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
@@ -71,8 +72,9 @@ RESEARCH INTERESTS
 
 PUBLICATIONS & PRESENTATIONS
 
-  The complete bibliography of my publications is available as
-  a BibTeX bibliography file from https://bndl.org/bandali.bib.
+  The complete bibliography of my publications is available
+  as a BibTeX bibliography file from
+  https://kelar.org/~bandali/bandali.bib.
 
   PAPERS
 
@@ -95,9 +97,9 @@ 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://kelar.org/~bandali/mmath/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath.html
+      http: https://kelar.org/~bandali/mmath/
 
   TALKS
 
@@ -109,7 +111,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://kelar.org/~bandali/2021/03/20/libreplanet-2021
 
     The Magic of Specifications and Type Systems
 
@@ -142,7 +144,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 +173,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 +219,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