\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
\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.
\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