diff options
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 173 |
1 files changed, 71 insertions, 102 deletions
@@ -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: |