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