X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/b7583bc7e5068ef6557b6dafdfbb97c99736af21..7a66e6ec5d73f54ccf06f70be1bb9ba594bfae12:/cv.html?ds=sidebyside diff --git a/cv.html b/cv.html index 4d58892..c0ba44c 100644 --- a/cv.html +++ b/cv.html @@ -1,69 +1,63 @@ - - - - - - Amin Bandali's Curriculum Vitae - - - - -
-
-

bandali

-

Curriculum Vitae (PDF)

-
-
- - - - - - - - - - - - - - - - -
Sitebandali.eu.org
Emailabandali at uwaterloo dot ca
Phoneavailable upon request via email
-
+ + +
+

Curriculum vitae (PDF)

-
-

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. -

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

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. -

-
- - +

Education

+ +

Master of Mathematics (Computer Science) | 2018–present

+

University of Waterloo, Canada

+

Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: April 2020

+

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 homepage

+ +

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

+