diff options
| author | tslil <> | 2021-08-04 14:43:36 -0400 |
|---|---|---|
| committer | tslil <> | 2021-08-04 14:43:36 -0400 |
| commit | 1a11f73b860cfe46b5c4a6e65df8c69548612903 (patch) | |
| tree | 98960e96b007b983c01e48b716ace0ee6f1498bc | |
| parent | 3dd2266bb18bef7ad4e7854b3c6628c84eee3a8d (diff) | |
Updated
| -rw-r--r-- | cv.pdf | bin | 60064 -> 61689 bytes | |||
| -rw-r--r-- | cv.tex | 19 |
2 files changed, 13 insertions, 6 deletions
| Binary files differ @@ -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} |
