X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ef72be3ee52390f8929973262b4c1a114c828b04..cd5ad35b4106a2106313bd1ac3cb399218a58423:/bandali-cv.html

diff --git a/bandali-cv.html b/bandali-cv.html
new file mode 100644
index 0000000..d9590ab
--- /dev/null
+++ b/bandali-cv.html
@@ -0,0 +1,94 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>Curriculum Vitae | Amin Bandali</title>
+    <meta
+      name="description"
+      content="Amin Bandali's curriculum vitae" />
+    <link rel="stylesheet" href="/style.css" />
+  </head>
+  <body>
+    <nav><a href="/">bandali.eu.org</a> / bandali-cv.html</nav>
+    <main>
+      <h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>
+      <!-- <p>
+           <a href="bandali-cv.pdf">Download PDF version</a>
+           </p> -->
+      <table>
+        <tbody>
+          <tr>
+            <td>Site</td>
+            <td><a href="https://bandali.eu.org">bandali.eu.org</a></td>
+          </tr>
+          <tr>
+            <td>Email</td>
+            <td>bandali@uwaterloo.ca</td>
+          </tr>
+          <tr>
+            <td>Phone</td>
+            <td>available upon request via email</td>
+          </tr>
+        </tbody>
+      </table>
+
+
+      <h3>Education</h3>
+      <h4>Master of Mathematics (Computer Science) | 2018–present</h4>
+      <p>University of Waterloo, Canada</p>
+      <p>
+        Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
+      </p>
+      <p>
+        Research focusing on formal logic, model checking, and verification.
+      </p>
+
+      <h4>B.Sc. Honours Computer Science | 2013–2017</h4>
+      <p>York University, Toronto, Canada</p>
+      <p>GPA: 7.84/9.0</p>
+      <p>
+        Relevant courses: System Specification &amp; Refinement, Software Requirements Eng., Software
+        Design, Operating Systems, Computational Complexity, Design &amp; Analysis of Algorithms.
+      </p>
+      <p>
+        Finished first year (2013-14) at <em>Carleton University</em> with a GPA of 11.0/12.0, then
+        transferred to <em>York University</em> in fall 2014.
+      </p>
+
+
+      <h3>Publications</h3>
+      <p>Listed on my <a href="/#papers">home page</a>.</p>
+
+
+      <h3>Work &amp; Research Experience</h3>
+
+      <h4>Cheriton School of Computer Science, University of Waterloo | 2018–present</h4>
+      <p>
+        Instructional Apprentice, Teaching Assistant, Research Assistant
+      </p>
+      <ul>
+        <li>
+          <abbr title="Logic and Computation">SE 212</abbr>:
+          <abbr title="Instructional Apprentice">IA</abbr> in Fall 2019,
+          <abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li>
+        <li>
+          <abbr
+            title="Software Requirements Specification and Analysis">
+            SE 463</abbr>: TA in Summer 2019 and 2018</li>
+        <li>
+          <abbr
+            title="Elementary Algorithm Design and Data Abstraction">
+            CS 136</abbr>: TA in Winter 2018</li>
+      </ul>
+
+      <h4>
+        <abbr title="Electrical Engineering &amp; Computer Science">
+          EECS</abbr> Department, York University | Fall 2017</h4>
+      <p>Teaching Assistant</p>
+      <p><abbr title="Net-Centric Introduction to Computing">EECS
+        1012</abbr>: TA in Fall 2017
+      </p>
+    </main>
+  </body>
+</html>