X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/4ad3138c4814ad02d9101676e95d436adb00818d..cd5ad35b4106a2106313bd1ac3cb399218a58423:/bandali-cv.html diff --git a/bandali-cv.html b/bandali-cv.html new file mode 100644 index 0000000..d9590ab --- /dev/null +++ b/bandali-cv.html @@ -0,0 +1,94 @@ + + + + + + Curriculum Vitae | Amin Bandali + + + + + +
+

Curriculum vitae (PDF)

+ + + + + + + + + + + + + + + + +
Sitebandali.eu.org
Emailbandali@uwaterloo.ca
Phoneavailable upon request via email
+ + +

Education

+

Master of Mathematics (Computer Science) | 2018–present

+

University of Waterloo, Canada

+

+ Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019 +

+

+ Research focusing on formal logic, model checking, and verification. +

+ +

B.Sc. Honours Computer Science | 2013–2017

+

York University, Toronto, Canada

+

GPA: 7.84/9.0

+

+ Relevant courses: System Specification & Refinement, Software Requirements Eng., Software + Design, Operating Systems, Computational Complexity, Design & Analysis of Algorithms. +

+

+ Finished first year (2013-14) at Carleton University with a GPA of 11.0/12.0, then + transferred to York University in fall 2014. +

+ + +

Publications

+

Listed on my home page.

+ + +

Work & Research Experience

+ +

Cheriton School of Computer Science, University of Waterloo | 2018–present

+

+ Instructional Apprentice, Teaching Assistant, Research Assistant +

+ + +

+ + EECS Department, York University | Fall 2017

+

Teaching Assistant

+

EECS + 1012: TA in Fall 2017 +

+
+ +