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.pdf | Bin 73103 -> 73581 bytes cv.tex | 39 ++++++++++++++++++++++++--------------- 2 files changed, 24 insertions(+), 15 deletions(-) diff --git a/cv.pdf b/cv.pdf index 3099859..01c7e74 100644 Binary files a/cv.pdf and b/cv.pdf differ 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