begin work on porting to haunt
[~bandali/bndl.org] / bandali-cv.html
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 | Amin Bandali</title>
7 <meta
8 name="description"
9 content="Amin Bandali's curriculum vitae" />
10 <link rel="stylesheet" href="/style.css" />
11 </head>
12 <body>
13 <nav><a href="/">bandali.eu.org</a> / bandali-cv.html</nav>
14 <main>
15 <h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>
16 <!-- <p>
17 <a href="bandali-cv.pdf">Download PDF version</a>
18 </p> -->
19 <table>
20 <tbody>
21 <tr>
22 <td>Site</td>
23 <td><a href="https://bandali.eu.org">bandali.eu.org</a></td>
24 </tr>
25 <tr>
26 <td>Email</td>
27 <td>bandali@uwaterloo.ca</td>
28 </tr>
29 <tr>
30 <td>Phone</td>
31 <td>available upon request via email</td>
32 </tr>
33 </tbody>
34 </table>
35
36
37 <h3>Education</h3>
38 <h4>Master of Mathematics (Computer Science) | 2018–present</h4>
39 <p>University of Waterloo, Canada</p>
40 <p>
41 Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
42 </p>
43 <p>
44 Research focusing on formal logic, model checking, and verification.
45 </p>
46
47 <h4>B.Sc. Honours Computer Science | 20132017</h4>
48 <p>York University, Toronto, Canada</p>
49 <p>GPA: 7.84/9.0</p>
50 <p>
51 Relevant courses: System Specification &amp; Refinement, Software Requirements Eng., Software
52 Design, Operating Systems, Computational Complexity, Design &amp; Analysis of Algorithms.
53 </p>
54 <p>
55 Finished first year (2013-14) at <em>Carleton University</em> with a GPA of 11.0/12.0, then
56 transferred to <em>York University</em> in fall 2014.
57 </p>
58
59
60 <h3>Publications</h3>
61 <p>Listed on my <a href="/#papers">home page</a>.</p>
62
63
64 <h3>Work &amp; Research Experience</h3>
65
66 <h4>Cheriton School of Computer Science, University of Waterloo | 2018–present</h4>
67 <p>
68 Instructional Apprentice, Teaching Assistant, Research Assistant
69 </p>
70 <ul>
71 <li>
72 <abbr title="Logic and Computation">SE 212</abbr>:
73 <abbr title="Instructional Apprentice">IA</abbr> in Fall 2019,
74 <abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li>
75 <li>
76 <abbr
77 title="Software Requirements Specification and Analysis">
78 SE 463</abbr>: TA in Summer 2019 and 2018</li>
79 <li>
80 <abbr
81 title="Elementary Algorithm Design and Data Abstraction">
82 CS 136</abbr>: TA in Winter 2018</li>
83 </ul>
84
85 <h4>
86 <abbr title="Electrical Engineering &amp; Computer Science">
87 EECS</abbr> Department, York University | Fall 2017</h4>
88 <p>Teaching Assistant</p>
89 <p><abbr title="Net-Centric Introduction to Computing">EECS
90 1012</abbr>: TA in Fall 2017
91 </p>
92 </main>
93 </body>
94 </html>