projects
/
~bandali
/
bndl.org
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
git-annex in bandali@jirud:~/src/site
[~bandali/bndl.org]
/
bandali-cv.txt
diff --git
a/bandali-cv.txt
b/bandali-cv.txt
index
49263b0
..
f4351b3
100644
(file)
--- a/
bandali-cv.txt
+++ b/
bandali-cv.txt
@@
-1,16
+1,17
@@
- CURRICULUM VITAE
+ curriculum vitae
- Amin Bandali
+
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-08-31
-------------------------------------------
+
this file: https://kelar.org/~bandali
/bandali-cv.txt
+ last update: 2021-10-30
+
----------
------------------------------------------
SUMMARY OF QUALIFICATIONS
SUMMARY OF QUALIFICATIONS
@@
-18,8
+19,8
@@
SUMMARY OF QUALIFICATIONS
- Experience in building software for diverse areas and platforms
in various programming languages such as C, Python, and Haskell.
- Experience in building software for diverse areas and platforms
in various programming languages such as C, Python, and Haskell.
- - Passionate about applying scientific and engineering methods
-
while designing and building
software systems.
+ - Passionate about applying scientific and engineering methods
in
+
design and implementation of
software systems.
- Using formal specification techniques to find specification-level
bugs early in the design stage rather than implementation.
- Using formal specification techniques to find specification-level
bugs early in the design stage rather than implementation.
@@
-41,8
+42,8
@@
SUMMARY OF QUALIFICATIONS
EDUCATION
EDUCATION
- Master of Mathematics in Computer Science,
University of Waterloo,
- 2020
+ Master of Mathematics in Computer Science,
+
University of Waterloo,
2020
Research focus:
formal logic, model checking, verification
Research focus:
formal logic, model checking, verification
@@
-53,8
+54,8
@@
EDUCATION
GPA:
3.7/4.0
GPA:
3.7/4.0
- Bachelor of Science with Honours in Computer Science,
York
- University, 2017
+ Bachelor of Science with Honours in Computer Science,
+
York
University, 2017
Favourite courses:
System Specification & Refinement, Software Requirements
Favourite courses:
System Specification & Refinement, Software Requirements
@@
-71,8
+72,9
@@
RESEARCH INTERESTS
PUBLICATIONS & PRESENTATIONS
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
PAPERS
@@
-95,9
+97,9
@@
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://
p.bndl.org
/bandali-mmath-thesis.pdf
+ pdf: https://
kelar.org/~bandali/mmath
/bandali-mmath-thesis.pdf
hdl: https://hdl.handle.net/10012/16059
hdl: https://hdl.handle.net/10012/16059
- http: https://
bndl.org/mmath.html
+ http: https://
kelar.org/~bandali/mmath/
TALKS
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
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.html
+ http: https://
kelar.org/~bandali/2021/03/20/libreplanet-2021
The Magic of Specifications and Type Systems
The Magic of Specifications and Type Systems
@@
-142,7
+144,7
@@
WORK & RESEARCH EXPERIENCE
I am part of the Jami core development team at Savoir-faire
Linux, where I get to work on various parts of Jami as a Free
Software Consultant. These include working on and maintaining
I am part of the Jami core development team at Savoir-faire
Linux, where I get to work on various parts of Jami as a Free
Software Consultant. These include working on and maintaining
- the GTK
+
-based jami-gnome client application written in C++ and
+ the GTK-based jami-gnome client application written in C++ and
C, and packaging Jami for various GNU/Linux distributions and
other platforms. I also serve as a community liaison between
the Jami core team and the wider free software community around
C, and packaging Jami for various GNU/Linux distributions and
other platforms. I also serve as a community liaison between
the Jami core team and the wider free software community around
@@
-171,7
+173,7
@@
WORK & RESEARCH EXPERIENCE
CS 136 (Elementary Algorithm Design and Data Abstraction):
TA in winter 2018
CS 136 (Elementary Algorithm Design and Data Abstraction):
TA in winter 2018
- [*]
:
Teaching Assistant (marking exams and assignments),
+ [*] Teaching Assistant (marking exams and assignments),
Instructional Apprentice (holding tutorials and marking),
Research Assistant (doing research for/with supervisor)
Instructional Apprentice (holding tutorials and marking),
Research Assistant (doing research for/with supervisor)
@@
-217,7
+219,7
@@
WORK & RESEARCH EXPERIENCE
and the MVC framework, used by employees for accessing various
data catalogs and archives.
and the MVC framework, used by employees for accessing various
data catalogs and archives.
- summer 2015 |
Software Develop
er
+ summer 2015 |
Computer Programm
er
Designed and implemented various applications in C# and C for
analyzing and testing a satellite pass prediction algorithm for
Designed and implemented various applications in C# and C for
analyzing and testing a satellite pass prediction algorithm for