X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/cv/blobdiff_plain/88457a3748dc603b777fd6d542ba85c511f3377e..refs/heads/main:/bandali-cv.tex diff --git a/bandali-cv.tex b/bandali-cv.tex index 5096e87..691395c 100644 --- a/bandali-cv.tex +++ b/bandali-cv.tex @@ -120,6 +120,30 @@ \href{\siteurl}{\addfontfeature{LetterSpace=2.0}\site}\\ \href{mailto:\mail}{\mail}\\ +\section*{Summary of Qualifications} + +%% \begin{enumerate}[label=\raisebox{-0.25ex}{\textbullet}] +\begin{itemize} +\item Experience with building software in diverse areas and for + various platforms, including GNU/Linux and Windows. +\item Passionate about applying scientific and engineering methods + while designing and building software systems. +\item Using formal specification techniques to find + specification-level bugs early in the design stage rather than + implementation. +\item GNU/Linux system administration on both the client and the + server side. +\item Problem-solving and communication skills, honed through research + and teaching roles held in graduate school, as well as holding + tutorials discussing complex concepts with fellow students and peers + throughout undergraduate studies and high school. +\item Organizational and teamwork skills, strengthened thanks to + community service in form of volunteer activities including + organizing the EmacsConf conference and volunteer work for charities + such as the Free Software Foundation and St.~Brigid's Summer Camp. +\end{itemize} +%% \end{enumerate} + \section*{Education} \begin{itemize} @@ -270,6 +294,19 @@ \end{description} \end{itemize} +\section*{Skills} + +\begin{itemize} +\item \textit{Programming Languages:} Haskell, Python, C, Emacs Lisp, + Guile Scheme, Eiffel, Bash, C\#, Java, JavaScript. +\item \textit{Tools:} GNU Emacs, Git, Alloy, \tla, ProB, \LaTeX, + continuous integration systems. +\item \textit{Platforms:} GNU/Linux distributions, including Trisquel, + GNU Guix, Debian. +\item \textit{Languages:} Persian (mother tongue), English (fluent), French + (beginner). +\end{itemize} + \section*{Community Service} \subsection*{EmacsConf Conference} @@ -342,7 +379,7 @@ \end{description} \item \begin{description}[font=\mdseries] - \item[summer 2012] Web Developer for St. Brigid's Summer Camp + \item[summer 2012] Web Developer for St.~Brigid's Summer Camp Redesigned and revamped the codebase for the photo gallery section of the camp's website in PHP and JavaScript. @@ -365,17 +402,4 @@ %% designated as an Ontario Scholar. %% \end{itemize} -\section*{Miscellaneous} - -\begin{itemize} -\item \textit{Programming Languages:} Haskell, Python, C, Emacs Lisp, - Guile Scheme, Eiffel, Rust, C\#, Java, JavaScript. -\item \textit{Tools:} GNU Emacs, Git, Alloy, \tla, ProB, \LaTeX, - continuous integration systems. -\item \textit{Platforms:} GNU/Linux distributions, including Trisquel, - GNU Guix, Debian. -\item \textit{Languages:} Persian (mother tongue), English (fluent), French - (beginner). -\end{itemize} - \end{document}