|bandali at uwaterloo dot ca|
|Phone||available upon request via email|
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
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.
See my publications page.