Curriculum vitae (PDF)

Site bandali.eu.org
Email 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

EECS Department, York University | Fall 2017

Teaching Assistant

EECS 1012: TA in Fall 2017