From: Amin Bandali Date: Wed, 21 Dec 2016 02:37:09 +0000 (-0500) Subject: FakeBold is alright for print but too ugly on display, don't use it X-Git-Url: https://git.shemshak.org/~bandali/cv/commitdiff_plain/c543f989e8ecb94aa0285e0ce87d8ba0554ea434?ds=inline FakeBold is alright for print but too ugly on display, don't use it --- 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