From: Amin Bandali Date: Mon, 19 Dec 2016 04:08:08 +0000 (-0500) Subject: Initial check-in X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/cv/commitdiff_plain/8a25c428473c2538593fc35b3650194a7a3e5ea6 Initial check-in --- 8a25c428473c2538593fc35b3650194a7a3e5ea6 diff --git a/.gitignore b/.gitignore new file mode 100644 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 index 0000000..a0dc6e8 --- /dev/null +++ b/cv.tex @@ -0,0 +1,258 @@ +% Amin Bandali - Curriculum Vitae +% +% Copyright (C) 2016 Amin Bandali +% https://aminb.org/ +% +% Based on Jason R. Blevins's Curriculum Vitae template, +% Copyright (C) 2004-2016 Jason R. Blevins +% 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}