From e2ed379b971a867dfbcdc46449e5e74095a7f663 Mon Sep 17 00:00:00 2001
From: tslil <>
Date: Thu, 30 Sep 2021 14:41:38 -0400
Subject: Corrections and cleanup

---
 cv.tex | 39 ++++++++++++++++++++++++---------------
 1 file changed, 24 insertions(+), 15 deletions(-)

(limited to 'cv.tex')

diff --git a/cv.tex b/cv.tex
index 913845a..ca38dcc 100644
--- a/cv.tex
+++ b/cv.tex
@@ -141,14 +141,16 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 \begin{multicols}{2}
   \ruletitle{Education}
 
-  \entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins, expected graduation 2022}{Completed written qualifying exams and oral speciality exam}
+  \entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins, expected graduation 2022}{}
 
   \entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}
 
-  \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math., Coursework}{}
+  \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math.}{Completed written qualifying exams and oral speciality exam}
 
   \entry{2016-2018}{Principle Fulbright Scholar}{Johns Hopkins}
-  {Selected \& funded to pursue PhD in Math.}
+  {Selected \& funded to pursue PhD in Math., transferred from George Washington University}
+
+  \entry{2015-2016}{Principle Fulbright Scholar}{George Washington University}{Graduate coursework}
 
   \entry{2015}{Masters Degree} {Univ. Cape Town, M.Sc. Math., with Distinction} {Dissertation: ``On the local and global properties of information manifolds''}
 
@@ -162,7 +164,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   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}
 
-  \entry{2018-2021}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (recurred twice) and online homework system}
+  \entry{2018-2021}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (twice \& thrice, resp.) and online homework system}
 
   \entry{Spring 2019}{Course development}{Johns Hopkins} {Introduction to Proofs, assisted Prof. Riehl in course development}
 
@@ -175,7 +177,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{Oct. 2014}{Invited Instructor}{Univ. Cape Town} {Introduction to Group Theory}
 
-  \entry{Cumulative}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
+  \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
 
   \ruletitle{Award}
 
@@ -183,9 +185,9 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \ruletitle{Papers}
 
-    \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{on the novel structure of regular calculi and their use as an ergonomic \& graphical syntax for regular logic}
+    \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{joint with B. Fong \& D. I. Spivak, on the novel structure of regular calculi and their use as an ergonomic \& graphical syntax for regular logic.}
 
-  \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication\linebreak}{the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
+  \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication\linebreak}{which shows that the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
 
   \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.}
 
@@ -196,14 +198,16 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \ruletitle{Computer Science}
 
+  Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following:
+
   \entry{2011-2014}{Algorithm Circle}{Theoretical C.S. organisation, Univ. Cape Town}{Lecturer (2011-2014), Vice Chairman (2012, 2014), Chairman (2013) for an organisation that gave free \& open, weekly lectures on topics in theoretical computer science (data structures, complexity theory, programming language theory, cryptography) and helped attendees prepare for programming contests.}
 
   \entry{Dec. 2012}{Top 10 in Southern Africa}{Google App Developer Challenge}{Designed and implemented a website allowing for the easy, intuitive and visual organisation of free-
-    form data into graphs and networks conveying relations and interconnections. Written in Python, Javascript, and using D3.js}
+    form data into graphs and networks conveying relations and interconnections. Written in Python, Javascript, and using D3.js.}
 
-  \entry{2011, 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course}
+  \entry{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}
 
-  I have contributed code to the following notable open-source projects:
+  In the period 2011-present, i have contributed code to several open-source projects, including:
 
   \listentry{\href{http://mikeos.sourceforge.net/\#credits}{MikeOS}, a 16bit real-mode operating system written in x86 assembly}
 
@@ -211,7 +215,9 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \listentry{\href{https://github.com/aaronbieber/tiny-menu.el/pull/5}{tiny-menu.el}, an Emacs minor mode to display interactive menus for quick actions written in Emacs Lisp}
 
-  I have several medium-to-large projects of my own, a selection:
+  \columnbreak
+
+  In the period 2016-present, i have created several medium-to-large projects of my own, including:
 
   \listentry{\href{https://git.sr.ht/~tslil/adclock}{Art-deco clock} [AVR C, OpenSCAD], a 3D-printed art-deco clock using an ATTiny24, RTC chip, and two OLED displays}
   \listentry{\href{https://github.com/tslilc/siege-mode}{siege-mode.el} [elisp], an Emacs minor mode to surround the region with smart delimiters interactively}
@@ -248,7 +254,9 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \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{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{2019/11/05}{Category Theory Seminar}{Johns Hopkins}{Within and not without: an apology for internal languages (2 parts)}
+
+  \entry{2019/09/17}{Category Theory Seminar}{Johns Hopkins}{Induction \& construction: the pointless theory of localic topox}
 
   \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant category theory, as modelled by globular $T$-categories}
 
@@ -310,7 +318,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \datelistentry{2017}{Category Theory 2017, UBC}
 
-  %\columnbreak
+  % \vfill\null
+  % \columnbreak
 
   \ruletitle{Competencies}
 
@@ -319,7 +328,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   \listentry{English (fluent), Hebrew (intermediate), Afrikaans
     (intermediate)}
 
-  % \vfill\null
+  \vfill\null
   \columnbreak
 
   \ruletitle{Personal Pursuits}
@@ -343,7 +352,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   {References available upon request}
 
-  \columnbreak
+  % \columnbreak
   \vfill\null
 
 \end{multicols}
-- 
cgit v1.3.1

