a8cce6961d1034bd715adc544dc391c8b26aec15
[~bandali/bndl.org] / 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>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>