git.shemshak.org - ~bandali/bndl.org/blob - 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 &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;
  41 Refinement, Software Requirements Eng., Software Design, Operating
  42 Systems, Computational Complexity, Design &amp; 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 &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>:
  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 &amp; 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>