| | 1 | <!--# set var="title" value="Curriculum vitae" --> |
| | 2 | <!--# include virtual="/ssi/pre0.html" --> |
| | 3 | <main> |
| | 4 | <h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1> |
| | 5 | |
| | 6 | <table> |
| | 7 | <tbody> |
| | 8 | <tr> |
| | 9 | <td>Site</td> |
| | 10 | <td><a href="//bandali.eu.org">bandali.eu.org</a></td> |
| | 11 | </tr> |
| | 12 | <tr> |
| | 13 | <td>Email</td> |
| | 14 | <td>bandali@uwaterloo.ca</td> |
| | 15 | </tr> |
| | 16 | <tr> |
| | 17 | <td>Phone</td> |
| | 18 | <td>available upon request via email</td> |
| | 19 | </tr> |
| | 20 | </tbody> |
| | 21 | </table> |
| | 22 | |
| | 23 | <h2>Education</h2> |
| | 24 | |
| | 25 | <h3>Master of Mathematics (Computer Science) | 2018–present</h3> |
| | 26 | <p>University of Waterloo, Canada</p> |
| | 27 | <p>Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: April 2020</p> |
| | 28 | <p>Research focusing on formal logic, model checking, and verification.</p> |
| | 29 | |
| | 30 | <h3>B.Sc. Honours Computer Science | 2013–2017</h3> |
| | 31 | <p>York University, Toronto, Canada</p> |
| | 32 | <p>GPA: 7.84/9.0</p><p>Relevant courses: System Specification & |
| | 33 | Refinement, Software Requirements Eng., Software Design, Operating |
| | 34 | Systems, Computational Complexity, Design & Analysis of Algorithms.</p> |
| | 35 | <p>Finished first year (2013-14) at <em>Carleton University</em> with |
| | 36 | a GPA of 11.0/12.0, then transferred to <em>York University</em> in |
| | 37 | Fall 2014.</p> |
| | 38 | |
| | 39 | <h2>Publications</h2> |
| | 40 | |
| | 41 | <p>Listed on my <a href="/#papers">homepage</a></p> |
| | 42 | |
| | 43 | <h2>Work & Research Experience</h2> |
| | 44 | |
| | 45 | <h3>Cheriton School of Computer Science, University of Waterloo | 2018–present</h3> |
| | 46 | <p>Instructional Apprentice, Teaching Assistant, Research Assistant</p> |
| | 47 | |
| | 48 | <ul> |
| | 49 | <li><abbr title="Logic and Computation">SE 212</abbr>: |
| | 50 | <a href="se212-f19/"><abbr title="Instructional Apprentice">IA</abbr> in Fall 2019</a>, |
| | 51 | <abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li> |
| | 52 | <li><abbr title="Software Requirements Specification and Analysis">SE 463</abbr>: |
| | 53 | TA in Summer 2019 and 2018</li> |
| | 54 | <li><abbr title="Elementary Algorithm Design and Data Abstraction">CS 136</abbr>: |
| | 55 | TA in Winter 2018</li> |
| | 56 | </ul> |
| | 57 | |
| | 58 | <h3><abbr title="Electrical Engineering & Computer Science">EECS</abbr> |
| | 59 | Department, York University | Fall 2017</h3> |
| | 60 | <p>Teaching Assistant</p> |
| | 61 | <p><abbr title="Net-Centric Introduction to Computing">EECS 1012</abbr>: |
| | 62 | TA in Fall 2017</p> |
| | 63 | <!--# include virtual="/ssi/post.html" --> |
projects / ~bandali / bndl.org / blame_incremental