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