[~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>Curriculum vitae &mdash; Amin Bandali</title>
<link rel="icon" href="/gnu.ico"/>
<link rel="stylesheet" href="/style.css"/>
</head>
<body>
<main>
<h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>

<table>
<tbody>
<tr>
<td>Site</td>
<td><a href="//bandali.eu.org">bandali.eu.org</a></td>
</tr>
<tr>
<td>Email</td>
<td>bandali@uwaterloo.ca</td>
</tr>
<tr>
<td>Phone</td>
<td>available upon request via email</td>
</tr>
</tbody>
</table>

<h2>Education</h2>

<h3>Master of Mathematics (Computer Science) | 2018–present</h3>
<p>University of Waterloo, Canada</p>
<p>Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: April 2020</p>
<p>Research focusing on formal logic, model checking, and verification.</p>

<h3>B.Sc. Honours Computer Science | 2013–2017</h3>
<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>

<h2>Publications</h2>

<p>Listed on my <a href="/#papers">homepage</a></p>

<h2>Work &amp; Research Experience</h2>

<h3>Cheriton School of Computer Science, University of Waterloo | 2018–present</h3>
<p>Instructional Apprentice, Teaching Assistant, Research Assistant</p>

<ul>
<li><abbr title="Logic and Computation">SE 212</abbr>:
<a href="se212-f19/"><abbr title="Instructional Apprentice">IA</abbr> in Fall 2019</a>,
<abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li>
<li><abbr title="Software Requirements Specification and Analysis">SE 463</abbr>:
TA in Summer 2019 and 2018</li>
<li><abbr title="Elementary Algorithm Design and Data Abstraction">CS 136</abbr>:
TA in Winter 2018</li>
</ul>

<h3><abbr title="Electrical Engineering &amp; Computer Science">EECS</abbr>
Department, York University | Fall 2017</h3>
<p>Teaching Assistant</p>
<p><abbr title="Net-Centric Introduction to Computing">EECS 1012</abbr>:
TA in Fall 2017</p>
</main>
</body>
</html>
Commit	Line	Data
4927af92 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"/>
	6	<title>Curriculum vitae — Amin Bandali</title>
	7	<link rel="icon" href="/gnu.ico"/>
	8	<link rel="stylesheet" href="/style.css"/>
	9	</head>
	10	<body>
	11	<main>
	12	<h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>
	13
	14	<table>
	15	<tbody>
	16	<tr>
	17	<td>Site</td>
	18	<td><a href="//bandali.eu.org">bandali.eu.org</a></td>
	19	</tr>
	20	<tr>
	21	<td>Email</td>
	22	<td>bandali@uwaterloo.ca</td>
	23	</tr>
	24	<tr>
	25	<td>Phone</td>
	26	<td>available upon request via email</td>
	27	</tr>
	28	</tbody>
	29	</table>
	30
	31	<h2>Education</h2>
	32
	33	<h3>Master of Mathematics (Computer Science) \| 2018–present</h3>
	34	<p>University of Waterloo, Canada</p>
	35	<p>Supervised by Dr. Nancy Day \| GPA: 3.7/4.0 \| Expected completion: April 2020</p>
	36	<p>Research focusing on formal logic, model checking, and verification.</p>
	37
	38	<h3>B.Sc. Honours Computer Science \| 2013–2017</h3>
	39	<p>York University, Toronto, Canada</p>
	40	<p>GPA: 7.84/9.0</p><p>Relevant courses: System Specification &
	41	Refinement, Software Requirements Eng., Software Design, Operating
	42	Systems, Computational Complexity, Design & Analysis of Algorithms.</p>
	43	<p>Finished first year (2013-14) at <em>Carleton University</em> with
	44	a GPA of 11.0/12.0, then transferred to <em>York University</em> in
	45	Fall 2014.</p>
	46
	47	<h2>Publications</h2>
	48
	49	<p>Listed on my <a href="/#papers">homepage</a></p>
	50
	51	<h2>Work & Research Experience</h2>
	52
	53	<h3>Cheriton School of Computer Science, University of Waterloo \| 2018–present</h3>
	54	<p>Instructional Apprentice, Teaching Assistant, Research Assistant</p>
	55
	56	<ul>
	57	<li><abbr title="Logic and Computation">SE 212</abbr>:
	58	<a href="se212-f19/"><abbr title="Instructional Apprentice">IA</abbr> in Fall 2019</a>,
	59	<abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li>
	60	<li><abbr title="Software Requirements Specification and Analysis">SE 463</abbr>:
	61	TA in Summer 2019 and 2018</li>
	62	<li><abbr title="Elementary Algorithm Design and Data Abstraction">CS 136</abbr>:
	63	TA in Winter 2018</li>
	64	</ul>
65
66	<h3><abbr title="Electrical Engineering & Computer Science">EECS</abbr>
67	Department, York University \| Fall 2017</h3>
68	<p>Teaching Assistant</p>
69	<p><abbr title="Net-Centric Introduction to Computing">EECS 1012</abbr>:
70	TA in Fall 2017</p>
71	</main>
72	</body>
73	</html>