Updated to include papers, reorganised

1 files changed, 71 insertions, 102 deletions

diff --git a/cv.tex b/cv.tex
index 55e6f62..82000ba 100644
--- a/cv.tex
+++ b/cv.tex
@@ -50,6 +50,7 @@
 \newsavebox{\entryhead}
 \newlength{\entryv}
 \newlength{\entryh}
+
 \newcommand{\entry}[4]{
   \savebox{\entryadj}{{#1}}
   \settoheight{\entryv}{\usebox{\entryadj}}
@@ -63,6 +64,12 @@
   \ifthenelse{\isempty{#4}}{}{\\\emph{{#4}}}\medskip
 }
 
+\newcommand{\arxiventry}[3]{
+  \settoheight{\entryv}{{#2}}
+  \marker{0.5\entryv-3pt}
+  \parbox[t]{\linewidth-1.1ex}{\textbf{\textcolor{cv-h3}{#2}\vspace{1.5pt}} {\setromanfont{EB Garamond}(\href{https://arxiv.org/abs/#1}{arXiv {#1}})}}
+  \\\emph{{#3}}\medskip
+}
 
 \newcommand{\datelistentry}[3][black]{
   \savebox{\entryadj}{{#2}}\settoheight{\entryv}{\usebox{\entryadj}}
@@ -111,7 +118,7 @@
 \hfill\fcolorbox{black}{cv-blue-bg}{
   \begin{tabular}{l}
     \email{tslil@jhu.edu} \\
-    \href{http://math.jhu.edu}{math.jhu.edu/{\textasciitilde}tclingm1} \\
+    \href{https://tslil.xyz}{https://tslil.xyz} \\
     {200 Krieger Hall, 3400 N. Charles St.} \\
     Baltimore, MD 21218
   \end{tabular}
@@ -135,146 +142,108 @@ Interested in: \emph{formal category theory},
 \begin{multicols}{2}
   \ruletitle{Education}
 
-  \entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins}
-  {Completed written qualifying exams and oral speciality exam}
+  \entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins}{Completed written qualifying exams and oral speciality exam}
 
-  \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math., Coursework}
-  {}
+  \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math., Coursework}{}
 
   \entry{2016-2018}{Principle Fulbright Scholar}{Johns Hopkins}
   {Selected \& funded to pursue PhD in Math.}
 
-  \entry{2015}{Masters Degree}
-  {Univ. Cape Town, M.Sc. Math., with Distinction}
-  {Dissertation: ``On the local and global properties of information manifolds''}
+  \entry{2015}{Masters Degree} {Univ. Cape Town, M.Sc. Math., with Distinction} {Dissertation: ``On the local and global properties of information manifolds''}
 
-  \entry{2014-2015}{Research Group}{Univ. Cape Town, Information Geometry}
-  {Quantum Gravity and Strings Laboratory}
+  \entry{2014-2015}{Research Group}{Univ. Cape Town, Information Geometry} {Quantum Gravity and Strings Laboratory}
 
   \entry{2014}{Honours Degree}{Univ. Cape Town, Pure Math., First Class}{}
 
-  \entry{2011-2013}{Bachelor of Science}{Univ. Cape Town, Degree with Distinction}
-  {Majors: Pure Math., Applied Math., and Astrophysics, each with
-    distinction}
+  \entry{2011-2013}{Bachelor of Science}{Univ. Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction}
 
-  \ruletitle{Notable Service}
+  \ruletitle{Papers}
 
-  \entry{2019}{Primary organiser}{2019 Category Theory
-    Octoberfest {\setromanfont{Libre Baskerville Italic}
-      {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
+  \arxiventry{2009.05545}{Bi-representations and bi-initial objects are not so different}{joint with L. Moser, on 2-categorical and double-categorical theorems characterising when pseudo-functors into Cat are representable, with applications to bi-adjunctions and 2-dimensional limits.}
 
-  \entry{Ongoing}{Co-organiser}{Directed Reading Program (DRP), Johns
-    Hopkins}{Individual pairing of undergraduates with graduates for
-    independent studies
-    (\href{http://math.jhu.edu/drp.html}{website}). Mentor
-    (2017-ongoing), organiser (2018-ongoing)}
+  \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''.}
 
-  \entry{2015}{Organiser}{Maths Postgrad. Tea Party, Univ. Cape Town}
-  {Founder of a biweekly meeting of graduates, comprising peer
-    lectures and discussions over tea}
+  \vfill\null
+  \columnbreak
 
-  \entry{2011-2015}{Various roles}
-  {Algorithm Circle -- Theoretical Comp. Sci. Club,  Univ. Cape Town}
-  {Free and open lectures, and competition prep. Lecturer (2011-2015),
-    Vice-chairman (2012, 2014), Chairman (2013)}
+  \ruletitle{Teaching Experience}
 
-  \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, Univ. Cape Town}
-  {Organised and gave a free and open Haskell language programming
-    course}
+  See my \href{https://tslil.xyz}{website} for details, including my role as sole instructor, my role in administrating the online homework system, and my work as a course development assistant and the products thereof.\vspace{1ex}
 
-  \ruletitle{Talks}
+  \entry{Falls 18-20}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE and online homework system}
+
+  \entry{Spring 2019}{Course development assistant}{Johns Hopkins} {Introduction to Proofs}
+
+  \entry{Fall 2017}{Sole Instructor}{Johns Hopkins} {Introduction to Calculus}
+
+  \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
+  {Intersession Course: Recreational Math. for All}
 
-  \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins
-    (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction}
+  \entry{2017, 18, 19}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}
 
-  \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins
-  (online, open to public)}{BI DOUBLing categories we'll see/ MULTIple morphisms acting weakly/ Two out of the four/ Have laws rather poor/ But the last is coherent VIRTUALLY!}
+  \entry{Oct. 2014}{Invited Instructor}{Univ. Cape Town} {Introduction to Group Theory}
 
-  \entry{2019 Fall}{Category Theory Seminar}{Johns Hopkins}
-  {Induction \& construction: the pointless theory of localic topox;\\
-  Within and not without: an apology for internal languages (2 parts)}
+  \entry{Cumulative}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
 
-  \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant
-    category theory, as modelled by globular $T$-categories}
+  \vfill\null
+  \columnbreak
 
-  \entry{2019/06/06}{HoTT-UF Project}{CAS Oslo}{What is proof relevant
-    category theory?}
+  \ruletitle{Notable Service}
 
-  \entry{2019/04/02}{School and Workshop on Univalent
-    Mathematics}{University of Birmingham}{The univalence axiom, a
-    brief \& incomplete tour}
+  \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
 
-  \entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins}
-  {Polynomial functors, a degree of generality}
+  \entry{Ongoing}{Co-organiser}{Directed Reading Program (DRP), Johns Hopkins}{Individual pairing of undergraduates with graduates for independent studies (\href{http://math.jhu.edu/drp.html}{website}). Mentor (2017-ongoing), organiser (2018-ongoing)}
 
-  \entry{2019/02/10}{Johns Hopkins Mathematics
-    Tournament}{}{``Fractions: ratio of two integers or universal
-    machine?'', audience of high-school students}
+  \entry{2015}{Organiser}{Maths Postgrad. Tea Party, Univ. Cape Town} {Founder of a biweekly meeting of graduates, comprising peer lectures and discussions over tea}
 
-  \entry{2018/11/30}{University Seminar}{George Washington
-    Univ.}{Homotopy Type Theory, the confluence of logic and space}
+  \entry{2011-2015}{Various roles} {Algorithm Circle -- Theoretical Comp. Sci. Club, Univ. Cape Town} {Free and open lectures, and competition prep. Lecturer (2011-2015), Vice-chairman (2012, 2014), Chairman (2013)}
 
-  \entry{2018/11/08}{Category Theory Seminar}{Johns Hopkins}
-  {What is an LCC?}
+  \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, Univ. Cape Town} {Organised and gave a free and open Haskell language programming course}
 
-  \entry{2018/09/20}{Oral Speciality Exam}{Johns Hopkins}
-  {Type Theory and Categories, the unbearable likeness of being}
+  \ruletitle{Talks}
 
-  \entry{2017/12/05}{Graduate Topics Course}{Johns Hopkins}
-  {`Rings Modules and Algebras in Infinite Loop
-    Space Theory' at a glance}
+  See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex}
 
-  \entry{2017/11/15}{Graduate Topics Course}{Johns Hopkins}
-  {What do we mean when we say spectra?}
+  \entry{2020/10/14}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction}
 
-  \entry{2017/11/30}{University Seminar}{George Washington Univ.}
-  {An Intuitive Description of Toposes, Toposes as a Description
-    of Intuitionism}
+  \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{BI DOUBLing categories we'll see/ MULTIple morphisms acting weakly/ Two out of the four/ Have laws rather poor/ But the last is coherent VIRTUALLY!}
 
-  \entry{2017/10/12}{Category Theory Seminar}{Johns Hopkins}
-  {All good things must come to an end}
+  \entry{2019 Fall}{Category Theory Seminar}{Johns Hopkins}{Induction \& construction: the pointless theory of localic topox;\\ Within and not without: an apology for internal languages (2 parts)}
 
-  \entry{2017/04/09}{Graduate Topics Course}{Johns Hopkins}
-  {The Calculus of Fractions and Homotopy Theory}
+  \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant category theory, as modelled by globular $T$-categories}
 
-  \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}
-  {A monad is just \ldots (with an eye to universal
-    algebra)}
+  \entry{2019/06/06}{HoTT-UF Project}{CAS Oslo}{What is proof relevant category theory?}
 
-  \ruletitle{Teaching Experience}
+  \entry{2019/04/02}{School and Workshop on Univalent Mathematics}{University of Birmingham}{The univalence axiom, a brief \& incomplete tour}
 
-  See my website for details.\vspace{1ex}
+  \entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins} {Polynomial functors, a degree of generality}
 
-  \entry{Falls 18-20}{Head T.A. \& \\ WeBWorK administrator}{Johns
-    Hopkins} {Calculus III \& ODE and online homework system}
+  \entry{2019/02/10}{Johns Hopkins Mathematics Tournament}{}{``Fractions: ratio of two integers or universal machine?'', audience of high-school students}
 
-  \entry{Spring 2019}{Course development assistant}{Johns Hopkins}
-  {Introduction to Proofs}
+  \entry{2018/11/30}{University Seminar}{George Washington Univ.}{Homotopy Type Theory, the confluence of logic and space}
 
-  \entry{Fall 2017}{Sole Instructor}{Johns Hopkins}
-  {Introduction to Calculus}
+  \entry{2018/11/08}{Category Theory Seminar}{Johns Hopkins}{What is an LCC?}
 
-  \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
-  {Intersession Course: Recreational Math. for All}
+  \entry{2018/09/20}{Oral Speciality Exam}{Johns Hopkins}{Type Theory and Categories, the unbearable likeness of being}
+
+  \entry{2017/12/05}{Graduate Topics Course}{Johns Hopkins}{`Rings Modules and Algebras in Infinite Loop Space Theory' at a glance}
 
-  \entry{2017, 18, 19}{DRP Mentor}{Johns Hopkins}
-  {Mentored projects in: General Topology, Braid Group
-    Representations, Category Theory, Homotopy Type Theory}
+  \entry{2017/11/15}{Graduate Topics Course}{Johns Hopkins}{What do we mean when we say spectra?}
 
-  \entry{Oct. 2014}{Invited Instructor}{Univ. Cape Town}
-  {Introduction to Group Theory}
+  \entry{2017/11/30}{University Seminar}{George Washington Univ.}{An Intuitive Description of Toposes, Toposes as a Description of Intuitionism}
 
-  \entry{Cumulative}{Teaching Assistant}{} {Real Analysis,
-    Introductory Abstract Algebra, Linear Algebra, Differential
-    Equations, Calculus Sequence, String Theory}
+  \entry{2017/10/12}{Category Theory Seminar}{Johns Hopkins}{All good things must come to an end}
 
-  % \vfill\null
-  % \columnbreak
+  \entry{2017/04/09}{Graduate Topics Course}{Johns Hopkins}{The Calculus of Fractions and Homotopy Theory}
+
+  \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{2020}{Programme Associate, Higher Categories and
-    Categorification, MSRI}
+  \datelistentry{2020}{Programme Associate, Higher Categories and Categorification, MSRI}
 
   \datelistentry{2019}{Category Theory Octoberfest, JHU}
 
@@ -286,8 +255,7 @@ Interested in: \emph{formal category theory},
 
   \datelistentry{2019}{HoTT-UF Project, CAS Oslo}
 
-  \datelistentry{2019}{Summer School on Higher Topos Theory and
-    Univalent Foundations, Leeds}
+  \datelistentry{2019}{Summer School on Higher Topos Theory and Univalent Foundations, Leeds}
 
   \datelistentry{2019}{School and Workshop on Univalent Mathematics, Birmingham}
 
@@ -303,16 +271,18 @@ Interested in: \emph{formal category theory},
 
   \ruletitle{Competencies}
 
-  \listentry{Proficient in C, Haskell, and Rust, with experience
-  in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript,
+  \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript,
   \LaTeX, and Python}
 
   \listentry{English (fluent), Hebrew (intermediate), Afrikaans
-  (intermediate)}
+    (intermediate)}
+
+  \vfill\null
+  \columnbreak
 
   \ruletitle{Personal Pursuits}
 
-  \listentry{\textcolor{cv-h1}{Electronics}
+  \listentry{\textcolor{cv-h1}{Electronics \& 3D printing}
     Various projects leveraging micro-controllers and custom circuitry}
 
   \listentry{\textcolor{cv-h1}{Esoteric Programming Languages}
@@ -332,7 +302,6 @@ Interested in: \emph{formal category theory},
 
 \end{multicols}
 
-
 \end{document}
 
 %%% Local Variables: