[~bandali/bndl.org] / cv.html

<!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">bandali</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>abandali&nbsp;at&nbsp;uwaterloo&nbsp;dot&nbsp;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 &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>
      </section>
      <section>
        <h3>Publications</h3>
        <p>See my <a href="/publications">publications</a> page.
      </section>
    </main>
  </body>
</html>
Commit	Line	Data
cc996fd2 AB	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" />
da142286	6	<title>Amin Bandali's Curriculum Vitae</title>
cc996fd2 AB	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>
ea846b41	15	<h1 id="title">bandali</h1>
cc996fd2 AB	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>
ea846b41	26	<td><a href="https://bandali.eu.org">bandali.eu.org</a></td>
cc996fd2 AB	27	</tr>
	28	<tr>
	29	<td>Email</td>
	30	<td>abandali at uwaterloo dot 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 & Refinement, Software Requirements Eng., Software
	56	Design, Operating Systems, Computational Complexity, Design & 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>