phone: available upon request via email
this file: https://bndl.org/bandali-cv.txt
- last update: 2021-08-31
+ last update: 2021-10-30
------------------------------------------
- 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.
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
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
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://bndl.org/mmath/bandali-mmath-thesis.pdf
hdl: https://hdl.handle.net/10012/16059
- http: https://bndl.org/mmath.html
+ 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://bndl.org/libreplanet-2021.html
+ http: https://bndl.org/2021/03/20/libreplanet-2021
The Magic of Specifications and Type Systems
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
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)