+++ /dev/null
-<!DOCTYPE html>
-<html lang="en">
- <head>
- <meta charset="utf-8" />
- <meta name=viewport content="width=device-width, initial-scale=1" />
- <title>Amin Bandali's Curriculum Vitae</title>
- <meta
- name="description"
- content="Amin Bandali's curriculum vitae" />
- <link rel="stylesheet" href="/style.css" />
- </head>
- <body>
- <main>
- <header>
- <h1 id="title"><a href="/">bandali</a></h1>
- <h2 id="subtitle">Curriculum Vitae (<a href="bandali-cv.pdf">PDF</a>)</h2>
- </header>
- <section>
- <!-- <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 at uwaterloo dot ca</td>
- </tr>
- <tr>
- <td>Phone</td>
- <td>available upon request via email</td>
- </tr>
- </tbody>
- </table>
- </section>
-
- <section>
- <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 & Refinement, Software Requirements Eng., Software
- Design, Operating Systems, Computational Complexity, Design & 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>
- </section>
- <section>
- <h3>Publications</h3>
- <p>See my <a href="/publications">publications</a> page.
- </section>
- </main>
- </body>
-</html>