From dadecbb05c6be35c7fdab9c46118ae8e2510c1ff Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Thu, 4 Nov 2021 23:24:35 -0400 Subject: [PATCH] cv: fix addresses --- bandali-cv.txt | 28 +++++++++++++--------------- cv.html | 4 ++-- 2 files changed, 15 insertions(+), 17 deletions(-) diff --git a/bandali-cv.txt b/bandali-cv.txt index f4351b3..2f6711f 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -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 diff --git a/cv.html b/cv.html index cb1c3ba..6c57ce9 100644 --- a/cv.html +++ b/cv.html @@ -31,9 +31,9 @@ as bandali-cv.txt