summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortslil <>2021-08-04 14:43:36 -0400
committertslil <>2021-08-04 14:43:36 -0400
commit1a11f73b860cfe46b5c4a6e65df8c69548612903 (patch)
tree98960e96b007b983c01e48b716ace0ee6f1498bc
parent3dd2266bb18bef7ad4e7854b3c6628c84eee3a8d (diff)
Updated
-rw-r--r--cv.pdfbin60064 -> 61689 bytes
-rw-r--r--cv.tex19
2 files changed, 13 insertions, 6 deletions
diff --git a/cv.pdf b/cv.pdf
index ad1c0e5..e2e21d6 100644
--- a/cv.pdf
+++ b/cv.pdf
Binary files differ
diff --git a/cv.tex b/cv.tex
index aae8345..9ded3e8 100644
--- a/cv.tex
+++ b/cv.tex
@@ -127,7 +127,7 @@
% -----------------------------------------------------------------------------
% Brief academic info
% -----------------------------------------------------------------------------
-5\textsuperscript{th} year graduate at Johns Hopkins
+PhD candidate at JHU, expected graduation 2022
Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl}
@@ -210,6 +210,10 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex}
+ \entry{Sept. 2021}{Category Theory 20$\to$21}{}{Representation presentation: to present a representative, 2-representative theorem}
+
+ \entry{2021/08/10}{Topos Institute}{}{Invitation to the next dimension: 2D doesn't mean double the work, only twice as much}
+
\entry{2021/07/16}{Applied Cat. Theory 2021}{University of Cambridge}{Graphical Regular Logic: the complete 2D picture}
\entry{2020/10/14}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction}
@@ -246,11 +250,12 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
\entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)}
- \vfill\null
- \columnbreak
-
\ruletitle{Conferences Attended}
+ \datelistentry{2021}{CT 20$\to$21 online, Genoa}
+
+ \datelistentry{2021}{ACT 2021 online, Cambridge}
+
\datelistentry{2019}{Category Theory Octoberfest, JHU}
\datelistentry{2019}{Homotopy Type Theory, CMU}
@@ -275,6 +280,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
\datelistentry{2017}{Category Theory 2017, UBC}
+ \columnbreak
+
\ruletitle{Competencies}
\listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript,
@@ -283,8 +290,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
\listentry{English (fluent), Hebrew (intermediate), Afrikaans
(intermediate)}
- \vfill\null
- \columnbreak
+ % \vfill\null
+ % \columnbreak
\ruletitle{Personal Pursuits}