X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/3dbe8da613fd8203003e338bf8928f6abf0bf125..3f773980ecb72191dc9beb3f1c382b478b3da63c:/bandali-cv.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index f4351b3..02026c4 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 @@ -86,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 @@ -97,9 +96,10 @@ 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/theses/bandali-mmath-thesis.pdf + bib: https://bndl.org/theses/bandali-mmath-thesis.bib hdl: https://hdl.handle.net/10012/16059 - http: https://kelar.org/~bandali/mmath/ + http: https://bndl.org/theses/mmath.html TALKS @@ -108,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://kelar.org/~bandali/2021/03/20/libreplanet-2021 + 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