git.shemshak.org - ~bandali/bndl.org/blob - 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 | 2013–2017</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>