git.shemshak.org - ~bandali/bndl.org/blame_incremental

... / ...

Commit	Line	Data
	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"><a href="/">bandali</a></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>bandali 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>