Commit | Line | Data |
---|---|---|
4927af92 AB |
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 | <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 & | |
41 | Refinement, Software Requirements Eng., Software Design, Operating | |
42 | Systems, Computational Complexity, Design & Analysis of Algorithms.</p> | |
43 | <p>Finished first year (2013-14) at <em>Carleton University</em> with | |
44 | a GPA of 11.0/12.0, then transferred to <em>York University</em> in | |
45 | Fall 2014.</p> | |
46 | ||
47 | <h2>Publications</h2> | |
48 | ||
49 | <p>Listed on my <a href="/#papers">homepage</a></p> | |
50 | ||
51 | <h2>Work & 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>: | |
61 | TA in Summer 2019 and 2018</li> | |
62 | <li><abbr title="Elementary Algorithm Design and Data Abstraction">CS 136</abbr>: | |
63 | TA in Winter 2018</li> | |
64 | </ul> | |
65 | ||
66 | <h3><abbr title="Electrical Engineering & Computer Science">EECS</abbr> | |
67 | Department, York University | Fall 2017</h3> | |
68 | <p>Teaching Assistant</p> | |
69 | <p><abbr title="Net-Centric Introduction to Computing">EECS 1012</abbr>: | |
70 | TA in Fall 2017</p> | |
71 | </main> | |
72 | </body> | |
73 | </html> |