Update Misc.

[~bandali/cv] / cv.tex

diff --git a/cv.tex b/cv.tex
index a0dc6e8..a0fc4f0 100644 (file)
--- a/cv.tex
+++ b/cv.tex
@@ -1,17 +1,17 @@
-% Amin Bandali - Curriculum Vitae
+%% cv.tex
+%% Copyright 2016 Amin Bandali <amin@aminb.org>

 %
 %

-% Copyright (C) 2016 Amin Bandali <amin@aminb.org>
-% https://aminb.org/
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either version 1.3
+% of this license or (at your option) any later version.
+% The latest version of this license is in
+%   http://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of LaTeX
+% version 2005/12/01 or later.

 %
 % Based on Jason R. Blevins's Curriculum Vitae template,
 % Copyright (C) 2004-2016 Jason R. Blevins <jrblevin@sdf.org>
 % http://jblevins.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}
 
 
 \documentclass[12pt,letterpaper]{article}
 


@@ -24,7 +24,6 @@
 \usepackage{fontspec}
 \setmainfont[Numbers=Lining]{EB Garamond}
 \newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond}
 \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
 \newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}}
 
 %% Load Microtype with default settings. This will use the


@@ -118,9 +117,9 @@
   \textit{York University}, Canada
 
   \begin{itemize}
   \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\
+  \item GPA: 7.9/9.0
+  \item Expected completion: December 2017
+  \item Relevant courses: System Specification \amper\

     Refinement, Operating System Design, Computational Complexity, Artificial
     Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
     Algorithms.
     Refinement, Operating System Design, Computational Complexity, Artificial
     Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
     Algorithms.


@@ -139,12 +138,12 @@
 
   \begin{itemize}
   \item Semester project: As an undergraduate research student, I
 
   \begin{itemize}
   \item Semester project: As an undergraduate research student, I

-    worked on \textbf{Literate Unit-B}, the verifier for Unit-B, a new
+    worked on \textit{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
     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
+    logic module and used it to build \textit{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
     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


@@ -241,11 +240,11 @@
 \section*{Miscellaneous}
 
 \begin{itemize}
 \section*{Miscellaneous}
 
 \begin{itemize}

-\item \textit{Programming Languages:} Haskell, Rust, C, Python, Emacs Lisp,
-  \LaTeX, C\#, Java, JavaScript, C++.
+\item \textit{Programming Languages:} Haskell, Rust, Python, C, Emacs Lisp,
+  \LaTeX, C\#, Java, JavaScript.

 \item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS,
   Windows.
 \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),
+\item \textit{Tools:} Emacs, Git, Zsh, CI Systems (e.g. Travis CI),

   Rodin, SQL DBs.
 \item \textit{Languages:} English (fluent), Persian (native), French (beginner).
 \end{itemize}
   Rodin, SQL DBs.
 \item \textit{Languages:} English (fluent), Persian (native), French (beginner).
 \end{itemize}