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
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
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
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
<dl id="link-grid">
<dt>Site</dt>
-<dd><a href="https://kelar.org/~bandali/">kelar.org/~bandali</a></dd>
+<dd><a href="https://bndl.org">bndl.org</a></dd>
<dt>Email</dt>
-<dd>bandali@kelar.org<br />bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
+<dd>bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
<dt>Phone</dt>
<dd>available upon request via email</dd>
<dt>Last update</dt>