diff options
| -rw-r--r-- | cv.pdf | bin | 73581 -> 73576 bytes | |||
| -rw-r--r-- | cv.tex | 9 |
2 files changed, 0 insertions, 9 deletions
| Binary files differ @@ -193,9 +193,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \arxiventry{2004.01313}{2-limits and 2-terminal objects are too different}{joint with L. Moser, on the failure of all theorems of the form ``a 2-dimensional limit is a 2-dimensional terminal object in a 2-dimensional slice category of cones''.} - % \vfill\null - % \columnbreak - \ruletitle{Computer Science} Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following: @@ -286,8 +283,6 @@ 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)} - %\columnbreak - \ruletitle{Conferences Attended} \datelistentry{2021}{CT 20$\to$21 online, Genoa} @@ -318,9 +313,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \datelistentry{2017}{Category Theory 2017, UBC} - % \vfill\null - % \columnbreak - \ruletitle{Competencies} \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript, \LaTeX, Python, and Zig} @@ -352,7 +344,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp {References available upon request} - % \columnbreak \vfill\null \end{multicols} |