cv: fix addresses
[~bandali/bndl.org] / bandali-cv.txt
index f4351b3..2f6711f 100644 (file)
@@ -2,16 +2,15 @@
 
                              Amin Bandali
 
-         ----------------------------------------------------
-         site:  https://kelar.org/~bandali
-         email: bandali@kelar.org
-                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://kelar.org/~bandali/bandali-cv.txt
-         last update: 2021-10-30
-         ----------------------------------------------------
+              this file: https://bndl.org/bandali-cv.txt
+              last update: 2021-10-30
+              ------------------------------------------
 
 
 SUMMARY OF QUALIFICATIONS
@@ -72,9 +71,8 @@ RESEARCH INTERESTS
 
 PUBLICATIONS & PRESENTATIONS
 
-  The complete bibliography of my publications is available
-  as a BibTeX bibliography file from
-  https://kelar.org/~bandali/bandali.bib.
+  The complete bibliography of my publications is available as
+  a BibTeX bibliography file from https://bndl.org/bandali.bib.
 
   PAPERS
 
@@ -97,9 +95,9 @@ PUBLICATIONS & PRESENTATIONS
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
-      pdf: https://kelar.org/~bandali/mmath/bandali-mmath-thesis.pdf
+      pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
-      http: https://kelar.org/~bandali/mmath/
+      http: https://bndl.org/mmath/
 
   TALKS
 
@@ -111,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://kelar.org/~bandali/2021/03/20/libreplanet-2021
+      http: https://bndl.org/2021/03/20/libreplanet-2021
 
     The Magic of Specifications and Type Systems