bandaliâs
-Curriculum Vitae (PDF)
-| Site | -bandalis.org | -
| abandali at uwaterloo dot ca | -|
| Phone | -available 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. -
+| Site | +bandali.eu.org | +
| bandali@uwaterloo.ca | +|
| Phone | +available 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
+ +-
+
- SE 212: +IA in Fall 2019, +TA in Fall 2018 +
- SE 463: +TA in Summer 2019 and 2018 +
- CS 136: +TA in Winter 2018 +
EECS +Department, York University | Fall 2017
+Teaching Assistant
+EECS 1012: +TA in Fall 2017
+