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>Amin Bandali's Curriculum Vitae</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     <main>
  14       <header>
  15         <h1 id="title">bandali</h1>
  16         <h2 id="subtitle">Curriculum Vitae (<a href="bandali-cv.pdf">PDF</a>)</h2>
  17       </header>
  18       <section>
  19         <!-- <p>
  20           <a href="bandali-cv.pdf">Download PDF version</a>
  21         </p> -->
  22         <table>
  23           <tbody>
  24             <tr>
  25               <td>Site</td>
  26               <td><a href="https://bandali.eu.org">bandali.eu.org</a></td>
  27             </tr>
  28             <tr>
  29               <td>Email</td>
  30               <td>abandali&nbsp;at&nbsp;uwaterloo&nbsp;dot&nbsp;ca</td>
  31             </tr>
  32             <tr>
  33               <td>Phone</td>
  34               <td>available upon request via email</td>
  35             </tr>
  36           </tbody>
  37         </table>
  38       </section>
  39
  40       <section>
  41         <h3>Education</h3>
  42         <h4>Master of Mathematics (Computer Science) | 2018-present</h4>
  43         <p>University of Waterloo, Canada</p>
  44         <p>
  45           Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
  46         </p>
  47         <p>
  48           Research focusing on formal logic, model checking, and verification.
  49         </p>
  50
  51         <h4>B.Sc. Honours Computer Science | 2013-2017</h4>
  52         <p>York University, Toronto, Canada</p>
  53         <p>GPA: 7.84/9.0</p>
  54         <p>
  55            Relevant courses: System Specification &amp; Refinement, Software Requirements Eng., Software
  56            Design, Operating Systems, Computational Complexity, Design &amp; Analysis of Algorithms.
  57         </p>
  58         <p>
  59           Finished first year (2013-14) at <em>Carleton University</em> with a GPA of 11.0/12.0, then
  60           transferred to <em>York University</em> in fall 2014.
  61         </p>
  62       </section>
  63       <section>
  64         <h3>Publications</h3>
  65         <p>See my <a href="/publications">publications</a> page.
  66       </section>
  67     </main>
  68   </body>
  69 </html>