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