diff options
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 19 |
1 files changed, 13 insertions, 6 deletions
@@ -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} |