Curriculum vitae (PDF)
+ +| Site | +bandali.eu.org | +
| bandali@uwaterloo.ca | +|
| Phone | +available 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 +
+-
+
- + 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 +
+