projects
/
~bandali
/
cv
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
c8a4ab3
)
FakeBold is alright for print but too ugly on display, don't use it
author
Amin Bandali
<amin@aminb.org>
Wed, 21 Dec 2016 02:37:09 +0000
(21:37 -0500)
committer
Amin Bandali
<amin@aminb.org>
Wed, 21 Dec 2016 02:37:09 +0000
(21:37 -0500)
cv.tex
patch
|
blob
|
blame
|
history
diff --git
a/cv.tex
b/cv.tex
index
a0dc6e8
..
d268d9a
100644
(file)
--- a/
cv.tex
+++ b/
cv.tex
@@
-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 \text
bf
{Literate Unit-B}, the verifier for Unit-B, a new
+ worked on \text
it
{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 \text
bf
{Unit-B Web}, a web interface using
+ logic module and used it to build \text
it
{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