rename meta_notes.m4 to meta_defs.m4
[~bandali/bndl.org] / cv.m4
CommitLineData
505a9419
AB
1dnl -*- html -*-
2define(__title, `Curriculum vitae')dnl
3define(__slug, `cv')dnl
c08732dd
AB
4include(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>
3fdab855 12<td><a href="//bndl.org">bndl.org</a></td>
4927af92
AB
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 &amp;
35Refinement, Software Requirements Eng., Software Design, Operating
36Systems, Computational Complexity, Design &amp; Analysis of Algorithms.</p>
37<p>Finished first year (2013-14) at <em>Carleton University</em> with
38a GPA of 11.0/12.0, then transferred to <em>York University</em> in
39Fall 2014.</p>
40
41<h2>Publications</h2>
42
43<p>Listed on my <a href="/#papers">homepage</a></p>
44
45<h2>Work &amp; 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>:
55TA in Summer 2019 and 2018</li>
56<li><abbr title="Elementary Algorithm Design and Data Abstraction">CS 136</abbr>:
57TA in Winter 2018</li>
58</ul>
59
60<h3><abbr title="Electrical Engineering &amp; Computer Science">EECS</abbr>
61Department, York University | Fall 2017</h3>
62<p>Teaching Assistant</p>
63<p><abbr title="Net-Centric Introduction to Computing">EECS 1012</abbr>:
64TA in Fall 2017</p>
c08732dd
AB
65
66include(footer.html)dnl