X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ff620ce6ac85cf10600b3da9a640f6ebc3568444..3dbe8da613fd8203003e338bf8928f6abf0bf125:/bandali-cv.html diff --git a/bandali-cv.html b/bandali-cv.html deleted file mode 100644 index d9590ab..0000000 --- a/bandali-cv.html +++ /dev/null @@ -1,94 +0,0 @@ - - - - - - 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 -

-
- -