projects
/
~bandali
/
bndl.org
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rearrange many of the pages/files for better organization
[~bandali/bndl.org]
/
bandali-cv.txt
diff --git
a/bandali-cv.txt
b/bandali-cv.txt
index
f4351b3
..
02026c4
100644
(file)
--- a/
bandali-cv.txt
+++ b/
bandali-cv.txt
@@
-2,16
+2,15
@@
Amin Bandali
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
SUMMARY OF QUALIFICATIONS
@@
-72,9
+71,8
@@
RESEARCH INTERESTS
PUBLICATIONS & PRESENTATIONS
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
PAPERS
@@
-86,7
+84,8
@@
PUBLICATIONS & PRESENTATIONS
Engineering Workshop, MoDRE@RE 2018
Copyright (c) 2018 IEEE. All Rights Reserved. Sadly.
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
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.
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
hdl: https://hdl.handle.net/10012/16059
- http: https://
kelar.org/~bandali/mmath/
+ http: https://
bndl.org/theses/mmath.html
TALKS
TALKS
@@
-108,10
+108,11
@@
PUBLICATIONS & PRESENTATIONS
Amin Bandali
Presented at the LibrePlanet 2021 Conference, March 20, 2021.
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:
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
The Magic of Specifications and Type Systems