X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/7808cfc75162b31f8a0a3fa6c462bea40c82d360..3dbe8da613fd8203003e338bf8928f6abf0bf125:/bandali-cv.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index 2195709..f4351b3 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -2,15 +2,16 @@ Amin Bandali - ------------------------------------------ - site: https://bndl.org - email: bandali@gnu.org - bandali@uwaterloo.ca - 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-10-30 - ------------------------------------------ + this file: https://kelar.org/~bandali/bandali-cv.txt + last update: 2021-10-30 + ---------------------------------------------------- SUMMARY OF QUALIFICATIONS @@ -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 + 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 + http: https://kelar.org/~bandali/2021/03/20/libreplanet-2021 The Magic of Specifications and Type Systems