X-Git-Url: https://git.shemshak.org/~bandali/cv/blobdiff_plain/88457a3748dc603b777fd6d542ba85c511f3377e..dadec8efa84b5c47d4d54d8ec1e1f7d35947d208:/bandali-cv.tex?pf=~bandali

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}