X-Git-Url: https://git.shemshak.org/~bandali/cv/blobdiff_plain/8a25c428473c2538593fc35b3650194a7a3e5ea6..c543f989e8ecb94aa0285e0ce87d8ba0554ea434:/cv.tex?ds=inline

diff --git a/cv.tex b/cv.tex
index a0dc6e8..d268d9a 100644
--- a/cv.tex
+++ b/cv.tex
@@ -24,7 +24,6 @@
 \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
@@ -118,9 +117,9 @@
   \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.
@@ -139,12 +138,12 @@
 
   \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
-    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
