X-Git-Url: http://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/cfe6a758127c1ee27e6b287724234518a83e653e..ff620ce6ac85cf10600b3da9a640f6ebc3568444:/cv.html diff --git a/cv.html b/cv.html deleted file mode 100644 index 11f94bb..0000000 --- a/cv.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - Amin Bandali's Curriculum Vitae - - - - -
-
-

bandali

-

Curriculum Vitae (PDF)

-
-
- - - - - - - - - - - - - - - - -
Sitebandali.eu.org
Emailbandali at uwaterloo dot 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

-

See my publications page. -

-
- -