4 <meta charset=
"utf-8" />
5 <meta name=viewport
content=
"width=device-width, initial-scale=1" />
6 <title>Amin Bandali's Curriculum Vitae
</title>
9 content=
"Amin Bandali's curriculum vitae" />
10 <link rel=
"stylesheet" href=
"/style.css" />
15 <h1 id=
"title"><a href=
"/">bandali
</a></h1>
16 <h2 id=
"subtitle">Curriculum Vitae (
<a href=
"bandali-cv.pdf">PDF
</a>)
</h2>
20 <a href="bandali-cv.pdf">Download PDF version</a>
26 <td><a href=
"https://bandali.eu.org">bandali.eu.org
</a></td>
30 <td>abandali
at
uwaterloo
dot
ca
</td>
34 <td>available upon request via email
</td>
42 <h4>Master of Mathematics (Computer Science) |
2018-present
</h4>
43 <p>University of Waterloo, Canada
</p>
45 Supervised by Dr. Nancy Day | GPA:
3.7/
4.0 | Expected completion: December
2019
48 Research focusing on formal logic, model checking, and verification.
51 <h4>B.Sc. Honours Computer Science |
2013-
2017</h4>
52 <p>York University, Toronto, Canada
</p>
55 Relevant courses: System Specification
& Refinement, Software Requirements Eng., Software
56 Design, Operating Systems, Computational Complexity, Design
& Analysis of Algorithms.
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.
65 <p>See my
<a href=
"/publications">publications
</a> page.