Initial check-in

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..6ab4c3c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,211 @@
+## Core latex/pdflatex auxiliary files:
+*.aux
+*.lof
+*.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+
+## Intermediate documents:
+*.dvi
+*-converted-to.*
+# these rules might exclude image files for figures etc.
+# *.ps
+# *.eps
+# *.pdf
+
+## Generated if empty string is given at "Please type another file name for output:"
+.pdf
+
+## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.brf
+*.run.xml
+
+## Build tool auxiliary files:
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
+*.synctex.gz
+*.synctex.gz(busy)
+*.pdfsync
+
+## Auxiliary and intermediate files from other packages:
+# algorithms
+*.alg
+*.loa
+
+# achemso
+acs-*.bib
+
+# amsthm
+*.thm
+
+# beamer
+*.nav
+*.pre
+*.snm
+*.vrb
+
+# cprotect
+*.cpt
+
+# endnotes
+*.ent
+
+# fixme
+*.lox
+
+# feynmf/feynmp
+*.mf
+*.mp
+*.t[1-9]
+*.t[1-9][0-9]
+*.tfm
+*.[1-9]
+*.[1-9][0-9]
+
+#(r)(e)ledmac/(r)(e)ledpar
+*.end
+*.?end
+*.[1-9]
+*.[1-9][0-9]
+*.[1-9][0-9][0-9]
+*.[1-9]R
+*.[1-9][0-9]R
+*.[1-9][0-9][0-9]R
+*.eledsec[1-9]
+*.eledsec[1-9]R
+*.eledsec[1-9][0-9]
+*.eledsec[1-9][0-9]R
+*.eledsec[1-9][0-9][0-9]
+*.eledsec[1-9][0-9][0-9]R
+
+# glossaries
+*.acn
+*.acr
+*.glg
+*.glo
+*.gls
+*.glsdefs
+
+# gnuplottex
+*-gnuplottex-*
+
+# gregoriotex
+*.gaux
+*.gtex
+
+# hyperref
+*.brf
+
+# knitr
+*-concordance.tex
+# TODO Comment the next line if you want to keep your tikz graphics files
+*.tikz
+*-tikzDictionary
+
+# listings
+*.lol
+
+# makeidx
+*.idx
+*.ilg
+*.ind
+*.ist
+
+# minitoc
+*.maf
+*.mlf
+*.mlt
+*.mtc[0-9]*
+
+# minted
+_minted*
+*.pyg
+
+# morewrites
+*.mw
+
+# mylatexformat
+*.fmt
+
+# nomencl
+*.nlo
+
+# sagetex
+*.sagetex.sage
+*.sagetex.py
+*.sagetex.scmd
+
+# scrwfile
+*.wrt
+
+# sympy
+*.sout
+*.sympy
+sympy-plots-for-*.tex/
+
+# pdfcomment
+*.upa
+*.upb
+
+# pythontex
+*.pytxcode
+pythontex-files-*/
+
+# thmtools
+*.loe
+
+# TikZ & PGF
+*.dpth
+*.md5
+*.auxlock
+
+# todonotes
+*.tdo
+
+# easy-todo
+*.lod
+
+# xindy
+*.xdy
+
+# xypic precompiled matrices
+*.xyc
+
+# endfloat
+*.ttt
+*.fff
+
+# Latexian
+TSWLatexianTemp*
+
+## Editors:
+# WinEdt
+*.bak
+*.sav
+
+# Texpad
+.texpadtmp
+
+# Kile
+*.backup
+
+# KBibTeX
+*~[0-9]*
+
+# auto folder when using emacs and auctex 
+/auto/*
+
+# expex forward references with \gathertags
+*-tags.tex
\ No newline at end of file

diff --git a/cv.tex b/cv.tex
new file mode 100644 (file)
index 0000000..a0dc6e8
--- /dev/null
+++ b/cv.tex
@@ -0,0 +1,258 @@
+% Amin Bandali - Curriculum Vitae
+%
+% Copyright (C) 2016 Amin Bandali <amin@aminb.org>
+% https://aminb.org/
+%
+% Based on Jason R. Blevins's Curriculum Vitae template,
+% Copyright (C) 2004-2016 Jason R. Blevins <jrblevin@sdf.org>
+% http://jblevins.org/
+%
+% You may use use this document as a template to create your own CV
+% and you may redistribute the source code freely.  No attribution is
+% required in any resulting documents.  I do ask that you please leave
+% this notice and the above URL in the source code if you choose to
+% redistribute this file.
+
+\documentclass[12pt,letterpaper]{article}
+
+\usepackage{hyperref}
+\usepackage{geometry}
+\usepackage{enumitem}
+
+% Fonts
+\usepackage{graphicx}
+\usepackage{fontspec}
+\setmainfont[Numbers=Lining]{EB Garamond}
+\newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond}
+\newfontfamily{\bfseries}[FakeBold=2]{EB Garamond}
+\newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}}
+
+%% Load Microtype with default settings. This will use the
+%% EB-Garamond protrusion definitions if present.
+\usepackage{microtype}
+
+
+\def\name{Amin Bandali}
+
+% The following metadata will show up in the PDF properties
+\hypersetup{
+  colorlinks = true,
+  urlcolor = black,
+  pdfauthor = {\name},
+  pdfkeywords = {Programming Languages, Haskell, Rust, Formal Methods, Type
+    Systems, Proof Systems, Automated Provers},
+  pdftitle = {\name: Curriculum Vitae},
+  pdfsubject = {Curriculum Vitae},
+  pdfpagemode = UseNone
+}
+
+\geometry{
+  body={6.5in, 9.0in},
+  left=1.0in,
+  top=1.0in
+}
+
+% Customize page headers
+\pagestyle{myheadings}
+\markright{\name}
+\thispagestyle{empty}
+
+% Custom section fonts
+\usepackage{sectsty}
+\sectionfont{\rmfamily\mdseries\Large}
+\subsectionfont{\rmfamily\mdseries\itshape\large}
+
+% Other possible font commands include:
+% \ttfamily for teletype,
+% \sffamily for sans serif,
+% \bfseries for bold,
+% \scshape for small caps,
+% \normalsize, \large, \Large, \LARGE sizes.
+
+% Don't indent paragraphs.
+\setlength\parindent{0em}
+
+% Make lists without bullets and compact spacing
+\renewenvironment{itemize}{
+  \begin{list}{}{
+    \setlength{\leftmargin}{1.5em}
+    \setlength{\itemsep}{0.25em}
+    \setlength{\parskip}{0pt}
+    \setlength{\parsep}{0.25em}
+  }
+}{
+  \end{list}
+}
+\setlist[enumerate]{itemsep=0.25em}
+
+\begin{document}
+
+% Place name at left
+{\huge \name}
+
+% Alternatively, print name centered and bold:
+%\centerline{\huge \bf \name}
+
+\bigskip
+
+\begin{minipage}[t]{0.495\textwidth}
+  Email: \href{mailto:amin9@my.yorku.ca}{amin9@my.yorku.ca} \\
+  Homepage: \href{https://aminb.org}{https://aminb.org} \\
+  Phone: available upon request
+\end{minipage}
+
+\section*{Research Interests}
+
+\begin{itemize}
+\item Functional Programming and functional languages
+\item Formal methods, especially type systems, proof systems, and automated
+  provers
+\item Verification, Haskell, and Rust
+\end{itemize}
+
+\section*{Education}
+
+\begin{itemize}
+\item {\large B.Sc. Honours Computer Science}\, |\, {\small 2013--present}
+
+  \textit{York University}, Canada
+
+  \begin{itemize}
+  \item \textbf{GPA:} 7.9/9.0
+  \item \textbf{Expected completion:} December 2017
+  \item \textbf{Relevant courses:} System Specification \amper\
+    Refinement, Operating System Design, Computational Complexity, Artificial
+    Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
+    Algorithms.
+  \item Finished first year (2013-14) at \textit{Carleton University} with a GPA
+    of 11.0/12.0 then transferred to \textit{York University} in Fall 2014.
+  \end{itemize}
+  
+\end{itemize}
+
+\section*{Research Experience}
+
+\begin{itemize}
+\item {\large Software Engineering Lab, } York University\, |\, {\small summer 2016}
+
+  \textit{Research Student}
+
+  \begin{itemize}
+  \item Semester project: As an undergraduate research student, I
+    worked on \textbf{Literate Unit-B}, the verifier for Unit-B, a new
+    formal method focused on formal verification of reactive, concurrent
+    and distributed systems.
+
+    From the Literate Unit-B codebase (written in Haskell), I decoupled the
+    logic module and used it to build \textbf{Unit-B Web}, a web interface using
+    Literate Unit-B to do predicate calculus proofs. \linebreak Unit-B Web, also
+    written in Haskell, supports the \LaTeX\ syntax of the Unit-B logic, renders
+    user input on the page, and calls the sequent prover of the logic
+    module, which uses the Z3 SMT solver to check the validity of user
+    input.
+
+  \item Volunteer work: I'm currently working on implementing subtyping for
+    Literate Unit-B.
+  \end{itemize}
+  \end{itemize}
+
+\section*{Professional Experience}
+\begin{itemize}
+\item {\large Lotek Wireless Inc., } Newmarket, Canada\, |\, {\small 2015--2016}
+
+  \textit{Software Developer}
+
+  \begin{itemize}
+  \item Designed and implemented various applications in C\# and C to test and
+    analyze a satellite pass prediction algorithm for predicting the pass
+    windows of Argos satellites, for scheduling send times of data collected by
+    company's wildlife tracking products.
+
+  \item Designed and developed an Employee Portal web application in C\# and the
+    MVC framework, used by employees for accessing various data catalogs and
+    archives.
+  \end{itemize}
+  \vspace{.25em}
+
+\item {\large Athlete Builder, } Ottawa, Canada\, |\, {\small 2013--2014}
+
+  \textit{Software Developer}
+
+  \begin{itemize}
+  \item Developed the Backend of Athlete Builder platform in C\# and MVC.
+  \item Was a key role in development of the platform core.
+  \item Developed the alpha version of Athlete Builder Android app in Java.
+  \end{itemize}
+\end{itemize}
+
+\section*{Volunteer Activities}
+
+\begin{itemize}
+
+\item {\large EmacsConf 2015, } \href{http://emacsconf.org}{emacsconf.org}\, |\,
+  {\small summer 2015}
+
+  \textit{Organizer}
+
+  \begin{itemize}
+  \item EmacsConf is a conference about the joy of Emacs and writing Emacs
+    Lisp. I was a key organizer and in charge of setting up and maintaining
+    several vital pieces of the EmacsConf infrastructure.
+  \end{itemize}
+  \vspace{.25em}
+
+\item {\large VONICAL Inc., } Ottawa, Canada\, |\, {\small spring 2013}
+
+  \textit{Application Developer}
+
+  \begin{itemize}
+  \item As a volunteer, worked on development of EARN (Employment Accessibility
+    Resource Network) portal using the Anahita social networking platform, in
+    PHP under Linux.
+  \end{itemize}
+  \vspace{.25em}
+
+\item {\large Hire Works Inc., } Ottawa, Canada\, |\, {\small winter 2013}
+
+  \textit{Mobile \& Web Developer}
+
+  \begin{itemize}
+  \item As a volunteer, I worked on a variety of web and mobile projects for
+    Hire Works, Inc.
+  \end{itemize}
+  \vspace{.25em}
+
+\item {\large St. Brigid's Summer Camp, } Ottawa, Canada\, |\, {\small summer
+    2012}
+
+  \textit{Web Developer}
+
+  \begin{itemize}
+  \item As a volunteer, I re-designed and coded (from scratch) an updated and
+    revamped version of the photo gallery section of St. Brigid Summer Camp's
+    website in PHP and JavaScript. A refactored version of my code is deployed
+    and being used.
+  \end{itemize}
+  % \vspace{.25em}
+
+\end{itemize}
+
+
+\section*{Miscellaneous}
+
+\begin{itemize}
+\item \textit{Programming Languages:} Haskell, Rust, C, Python, Emacs Lisp,
+  \LaTeX, C\#, Java, JavaScript, C++.
+\item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS,
+  Windows.
+\item \textit{Tools:} Emacs, Git, Mercurial, Zsh, CI Systems (e.g. Travis CI),
+  Rodin, SQL DBs.
+\item \textit{Languages:} English (fluent), Persian (native), French (beginner).
+\end{itemize}
+
+
+% Footer
+\bigskip
+{\small Last updated: \today}
+
+\end{document}