Initial check-in
[~bandali/cv] / cv.tex
CommitLineData
8a25c428
AB
1% Amin Bandali - Curriculum Vitae
2%
3% Copyright (C) 2016 Amin Bandali <amin@aminb.org>
4% https://aminb.org/
5%
6% Based on Jason R. Blevins's Curriculum Vitae template,
7% Copyright (C) 2004-2016 Jason R. Blevins <jrblevin@sdf.org>
8% http://jblevins.org/
9%
10% You may use use this document as a template to create your own CV
11% and you may redistribute the source code freely. No attribution is
12% required in any resulting documents. I do ask that you please leave
13% this notice and the above URL in the source code if you choose to
14% redistribute this file.
15
16\documentclass[12pt,letterpaper]{article}
17
18\usepackage{hyperref}
19\usepackage{geometry}
20\usepackage{enumitem}
21
22% Fonts
23\usepackage{graphicx}
24\usepackage{fontspec}
25\setmainfont[Numbers=Lining]{EB Garamond}
26\newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond}
27\newfontfamily{\bfseries}[FakeBold=2]{EB Garamond}
28\newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}}
29
30%% Load Microtype with default settings. This will use the
31%% EB-Garamond protrusion definitions if present.
32\usepackage{microtype}
33
34
35\def\name{Amin Bandali}
36
37% The following metadata will show up in the PDF properties
38\hypersetup{
39 colorlinks = true,
40 urlcolor = black,
41 pdfauthor = {\name},
42 pdfkeywords = {Programming Languages, Haskell, Rust, Formal Methods, Type
43 Systems, Proof Systems, Automated Provers},
44 pdftitle = {\name: Curriculum Vitae},
45 pdfsubject = {Curriculum Vitae},
46 pdfpagemode = UseNone
47}
48
49\geometry{
50 body={6.5in, 9.0in},
51 left=1.0in,
52 top=1.0in
53}
54
55% Customize page headers
56\pagestyle{myheadings}
57\markright{\name}
58\thispagestyle{empty}
59
60% Custom section fonts
61\usepackage{sectsty}
62\sectionfont{\rmfamily\mdseries\Large}
63\subsectionfont{\rmfamily\mdseries\itshape\large}
64
65% Other possible font commands include:
66% \ttfamily for teletype,
67% \sffamily for sans serif,
68% \bfseries for bold,
69% \scshape for small caps,
70% \normalsize, \large, \Large, \LARGE sizes.
71
72% Don't indent paragraphs.
73\setlength\parindent{0em}
74
75% Make lists without bullets and compact spacing
76\renewenvironment{itemize}{
77 \begin{list}{}{
78 \setlength{\leftmargin}{1.5em}
79 \setlength{\itemsep}{0.25em}
80 \setlength{\parskip}{0pt}
81 \setlength{\parsep}{0.25em}
82 }
83}{
84 \end{list}
85}
86\setlist[enumerate]{itemsep=0.25em}
87
88\begin{document}
89
90% Place name at left
91{\huge \name}
92
93% Alternatively, print name centered and bold:
94%\centerline{\huge \bf \name}
95
96\bigskip
97
98\begin{minipage}[t]{0.495\textwidth}
99 Email: \href{mailto:amin9@my.yorku.ca}{amin9@my.yorku.ca} \\
100 Homepage: \href{https://aminb.org}{https://aminb.org} \\
101 Phone: available upon request
102\end{minipage}
103
104\section*{Research Interests}
105
106\begin{itemize}
107\item Functional Programming and functional languages
108\item Formal methods, especially type systems, proof systems, and automated
109 provers
110\item Verification, Haskell, and Rust
111\end{itemize}
112
113\section*{Education}
114
115\begin{itemize}
116\item {\large B.Sc. Honours Computer Science}\, |\, {\small 2013--present}
117
118 \textit{York University}, Canada
119
120 \begin{itemize}
121 \item \textbf{GPA:} 7.9/9.0
122 \item \textbf{Expected completion:} December 2017
123 \item \textbf{Relevant courses:} System Specification \amper\
124 Refinement, Operating System Design, Computational Complexity, Artificial
125 Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
126 Algorithms.
127 \item Finished first year (2013-14) at \textit{Carleton University} with a GPA
128 of 11.0/12.0 then transferred to \textit{York University} in Fall 2014.
129 \end{itemize}
130
131\end{itemize}
132
133\section*{Research Experience}
134
135\begin{itemize}
136\item {\large Software Engineering Lab, } York University\, |\, {\small summer 2016}
137
138 \textit{Research Student}
139
140 \begin{itemize}
141 \item Semester project: As an undergraduate research student, I
142 worked on \textbf{Literate Unit-B}, the verifier for Unit-B, a new
143 formal method focused on formal verification of reactive, concurrent
144 and distributed systems.
145
146 From the Literate Unit-B codebase (written in Haskell), I decoupled the
147 logic module and used it to build \textbf{Unit-B Web}, a web interface using
148 Literate Unit-B to do predicate calculus proofs. \linebreak Unit-B Web, also
149 written in Haskell, supports the \LaTeX\ syntax of the Unit-B logic, renders
150 user input on the page, and calls the sequent prover of the logic
151 module, which uses the Z3 SMT solver to check the validity of user
152 input.
153
154 \item Volunteer work: I'm currently working on implementing subtyping for
155 Literate Unit-B.
156 \end{itemize}
157 \end{itemize}
158
159\section*{Professional Experience}
160\begin{itemize}
161\item {\large Lotek Wireless Inc., } Newmarket, Canada\, |\, {\small 2015--2016}
162
163 \textit{Software Developer}
164
165 \begin{itemize}
166 \item Designed and implemented various applications in C\# and C to test and
167 analyze a satellite pass prediction algorithm for predicting the pass
168 windows of Argos satellites, for scheduling send times of data collected by
169 company's wildlife tracking products.
170
171 \item Designed and developed an Employee Portal web application in C\# and the
172 MVC framework, used by employees for accessing various data catalogs and
173 archives.
174 \end{itemize}
175 \vspace{.25em}
176
177\item {\large Athlete Builder, } Ottawa, Canada\, |\, {\small 2013--2014}
178
179 \textit{Software Developer}
180
181 \begin{itemize}
182 \item Developed the Backend of Athlete Builder platform in C\# and MVC.
183 \item Was a key role in development of the platform core.
184 \item Developed the alpha version of Athlete Builder Android app in Java.
185 \end{itemize}
186\end{itemize}
187
188\section*{Volunteer Activities}
189
190\begin{itemize}
191
192\item {\large EmacsConf 2015, } \href{http://emacsconf.org}{emacsconf.org}\, |\,
193 {\small summer 2015}
194
195 \textit{Organizer}
196
197 \begin{itemize}
198 \item EmacsConf is a conference about the joy of Emacs and writing Emacs
199 Lisp. I was a key organizer and in charge of setting up and maintaining
200 several vital pieces of the EmacsConf infrastructure.
201 \end{itemize}
202 \vspace{.25em}
203
204\item {\large VONICAL Inc., } Ottawa, Canada\, |\, {\small spring 2013}
205
206 \textit{Application Developer}
207
208 \begin{itemize}
209 \item As a volunteer, worked on development of EARN (Employment Accessibility
210 Resource Network) portal using the Anahita social networking platform, in
211 PHP under Linux.
212 \end{itemize}
213 \vspace{.25em}
214
215\item {\large Hire Works Inc., } Ottawa, Canada\, |\, {\small winter 2013}
216
217 \textit{Mobile \& Web Developer}
218
219 \begin{itemize}
220 \item As a volunteer, I worked on a variety of web and mobile projects for
221 Hire Works, Inc.
222 \end{itemize}
223 \vspace{.25em}
224
225\item {\large St. Brigid's Summer Camp, } Ottawa, Canada\, |\, {\small summer
226 2012}
227
228 \textit{Web Developer}
229
230 \begin{itemize}
231 \item As a volunteer, I re-designed and coded (from scratch) an updated and
232 revamped version of the photo gallery section of St. Brigid Summer Camp's
233 website in PHP and JavaScript. A refactored version of my code is deployed
234 and being used.
235 \end{itemize}
236 % \vspace{.25em}
237
238\end{itemize}
239
240
241\section*{Miscellaneous}
242
243\begin{itemize}
244\item \textit{Programming Languages:} Haskell, Rust, C, Python, Emacs Lisp,
245 \LaTeX, C\#, Java, JavaScript, C++.
246\item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS,
247 Windows.
248\item \textit{Tools:} Emacs, Git, Mercurial, Zsh, CI Systems (e.g. Travis CI),
249 Rodin, SQL DBs.
250\item \textit{Languages:} English (fluent), Persian (native), French (beginner).
251\end{itemize}
252
253
254% Footer
255\bigskip
256{\small Last updated: \today}
257
258\end{document}