path: root/cv.tex

\documentclass[a4paper,12pt]{article}

% -----------------------------------------------------------------------------
% Adjust margins
% -----------------------------------------------------------------------------
\usepackage{geometry}
\geometry{voffset=-0.1in,hoffset=0in,
  textwidth=0.95\paperwidth,
  textheight=0.94\paperheight}

% -----------------------------------------------------------------------------
% Set font
% -----------------------------------------------------------------------------
\usepackage{fontspec}
\setmainfont[ItalicFont={* Italic}]{Libre Baskerville}

% -----------------------------------------------------------------------------
% Colours
% -----------------------------------------------------------------------------
\usepackage{xcolor}

\definecolor{cv-yellow-bg}{HTML}{FFFFEA}
\definecolor{cv-blue-bg}{HTML}{EAFFFF}
\definecolor{cv-link}{HTML}{D05000}
\definecolor{cv-h3}{HTML}{D33682}
\definecolor{cv-h2}{HTML}{268BD2}
\definecolor{cv-h1}{HTML}{8888CC}

\usepackage[pagecolor=cv-yellow-bg]{pagecolor}

% -----------------------------------------------------------------------------
% Commands for entries in the CV
% -----------------------------------------------------------------------------

\newsavebox{\ruletitletext}
\newlength{\ruletitleheight}
\newcommand{\ruletitle}[2][1pt]{
  \savebox{\ruletitletext}{\textcolor{cv-h2}{\Large\textbf{#2}}}
  \settoheight{\ruletitleheight}{\usebox{\ruletitletext}}
  \textcolor{cv-h2}{
    \makebox[0pt][l]{\rule[0.25\ruletitleheight]{\linewidth}{#1}}
    \hspace{2ex}\colorbox{cv-yellow-bg}{\usebox{\ruletitletext}}
  }\medskip
}

\newcommand{\marker}[1]{\rule[{#1}]{5pt}{5pt}}

\usepackage{xifthen}
\newsavebox{\entryadj}
\newsavebox{\entryhead}
\newlength{\entryv}
\newlength{\entryh}

\newcommand{\entry}[4]{
  \savebox{\entryadj}{{#1}}
  \settoheight{\entryv}{\usebox{\entryadj}}
  \savebox{\entryhead}{\marker{0.5\entryv-3pt}\makebox[12.3ex][r]{\usebox{\entryadj}}}
  \settowidth{\entryh}{\usebox{\entryhead}}\usebox{\entryhead}
  % The parbox cannot be the exact length of the line or we'll incur a
  % newline automatically when typesetting
  \ifthenelse{\isempty{#2}}{}{
    \parbox[t]{\linewidth-\entryh-1.1ex}{\textbf{\textcolor{cv-h3}{#2}\vspace{1.5pt}}}}
  \ifthenelse{\isempty{#3}}{}{\\{\setromanfont{EB Garamond}\textsc{{#3}}}}
  \ifthenelse{\isempty{#4}}{}{\\\emph{{#4}}}\medskip
}

\newcommand{\arxiventry}[3]{
  \settoheight{\entryv}{{#2}}
  \noindent\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{\urlentry}[3]{
  \settoheight{\entryv}{{#2}}
  \noindent\marker{0.5\entryv-3pt}
  \parbox[t]{\linewidth-1.1ex}{\textbf{\textcolor{cv-h3}{#2}\vspace{1.5pt}} {\setromanfont{EB Garamond}(\href{#1}{link})}}
  \\\emph{{#3}}\medskip
}

\newcommand{\datelistentry}[3][black]{
  \savebox{\entryadj}{{#2}}\settoheight{\entryv}{\usebox{\entryadj}}
  \marker{0.5\entryv-3pt}\makebox[6ex][r]{\usebox{\entryadj}}
  \ \begin{minipage}[t]{\linewidth-6ex-9.59201pt}
    \textcolor{#1}{{#3}}
  \end{minipage}\medskip
}

\newcommand{\listentry}[2][black]{
  \settoheight{\entryv}{{#2}}
  \marker{0.5\entryv-3pt}
  \begin{minipage}[t]{\linewidth-7.926pt}
    \textcolor{#1}{{#2}}
  \end{minipage}\medskip
}


% -----------------------------------------------------------------------------
% Layout related
% -----------------------------------------------------------------------------
\setlength{\fboxrule}{1pt}
\setlength{\parindent}{0pt}

\usepackage{multicol}
\setlength{\columnsep}{3ex}
\setlength{\columnseprule}{0.1pt}

% -----------------------------------------------------------------------------
% Hyperlinks
% -----------------------------------------------------------------------------
\usepackage[hidelinks,colorlinks=true,urlcolor=cv-link]{hyperref}
\usepackage[misc]{ifsym} %for \Letter
\newcommand{\email}[1]{\Letter\ \href{mailto:{#1}}{{#1}}}

\begin{document}
\pagestyle{empty}

% -----------------------------------------------------------------------------
% Biographical information
% -----------------------------------------------------------------------------
% Name
{\fontsize{32}{48}\selectfont
  tslil clingman}
% Contact info
\hfill\fcolorbox{black}{cv-blue-bg}{
  \begin{tabular}{l}
    \email{tslil@jhu.edu} \\
    \href{https://tslil.xyz}{https://tslil.xyz}
  \end{tabular}
}\vspace{0ex}

% -----------------------------------------------------------------------------
% Brief academic info
% -----------------------------------------------------------------------------
PhD from JHU, fall 2022

Supervised by \href{http://emilyriehl.github.io}{Emily Riehl}

Interested in: \emph{machine learning}, \emph{formal \& higher category theory}, and \emph{homotopy type theory}.

% Line for CV info
\rule{\linewidth}{1pt}\vspace{-1ex}
% -----------------------------------------------------------------------------
% Main data
% -----------------------------------------------------------------------------
\begin{multicols}{2}
  \ruletitle{Work Experience}

  \entry{2026-\hphantom{9001}}{Principal Research Engineer}{Topos Research UK}{}

  \entry{2024-2026}{Assoc. Director of Research}{Symbolica AI}{Initial role: Research Software Engineer}

  \entry{2022-2024}{Quantitative Technologist}{Radix Trading B.V.}{}

  \entry{2016-2022}{Teaching Assistant}{Johns Hopkins}{}

  \ruletitle{Education}

  \entry{July 2022}{PhD in Mathematics}{Johns Hopkins, Dissertation}{Towards the theory of proof-relevant categories}

  \entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}

  \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., 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''}

  \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}

  \columnbreak

  \ruletitle{Teaching Experience}

  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 (twice \& thrice, resp.) and online homework system}

  \entry{Spring 2019}{Course development}{Johns Hopkins} {Introduction to Proofs, assisted Prof. Riehl in course development}

  \entry{Fall 2017}{Sole Instructor}{Johns Hopkins} {Introduction to Calculus}

  \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
  {Intersession Course: Recreational Math. for All}

  \entry{2017-`19, `21}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}

  \entry{Oct. 2014}{Invited Instructor}{Univ. Cape Town} {Introduction to Group Theory}

  \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}

  \ruletitle{Teaching Award}

  \entry{April 2021}{William Kelso Morrill Award}{Excellence in Mathematics}{For love of teaching, love of mathematics, and concern for students, nominated by undergraduates \& selected by the department.}

  \columnbreak

  \ruletitle{Papers}

  \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}{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.}

  \urlentry{http://cahierstgdc.com/wp-content/uploads/2022/07/Clingman-Moser-LXIII-3.pdf}{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. {Cahiers de Topologie et Géométrie Différentielle Catégoriques, LXIII-3}.}

  \urlentry{https://doi.org/10.1007/s10485-022-09691-z}{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''. Appl. Categor. Struct. 2022}

  \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.}

  \entry{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}

  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}

  \listentry{\href{https://github.com/bradharding/doomretro/wiki/CREDITS}{DoomRetro}, a modern source port of ID Software's DOOM (II) game engine written in C using SDL2}

  \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}

  In the period 2016-present, i have created several medium-to-large projects of my own, including:

  \listentry{\href{https://git.sr.ht/~tslil/ctak}{ctak} [C], a line-mode interface for the game of Tak, complete with a computer opponent. This project was designed to learn about neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI}
  \listentry{\href{https://git.sr.ht/~tslil/keyboard}{srchr} [Rust], a parallelised keyboard layout optimiser. This project exploits symmetries in ``pre-layouts'' to reduce the search space, which it explores by way of a genetic algorithm in order to optimise layouts given certain n-gram distributions and a customisable loss function as input. Includes schematics for custom keyboard pcbs}
  \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}
  \listentry{\href{https://git.sr.ht/~tslil/msr}{msr} [C], a public-key signature verification tool using curve Ed25519, libsodium, GNU argp, and compatible with OpenBSD's signify}
  \listentry{\href{https://git.sr.ht/~tslil/zirc}{ZiRC} [Zig], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine}

  \newcolumn

  \ruletitle{Notable Service}

  \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}}}{hosted at Johns Hopkins}

  \entry{2018}{Chapter representative}{Directed Reading Program (DRP)}{Represented the JHU DRP chapter at the Directed Reading Programme Network \& Workshop, MIT}

  \entry{2017-2019}{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 \& co-organiser (2017-2019), primary organiser (2018-2019)}

  \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{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{2011 \& 2012}{Organiser}{Haskell Programming Course, Univ. Cape Town} {Organised and gave a free and open Haskell language programming course}

  \ruletitle{Talks}

  See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex}

  \entry{2021/11/11}{Topology Seminar}{University of Virginia}{Structures for witnessed composition, an approach to higher categories}

  \entry{Sept. 2021}{Category Theory 20$\to$21}{}{Representation presentation: to present a representative, 2-representative theorem}

  \entry{2021/08/10}{Topos Institute}{Berkeley}{Invitation to the next dimension: 2D doesn't mean double the work, only twice as much}

  \entry{2021/07/16}{Applied Cat. Theory 2021}{University of Cambridge}{Graphical Regular Logic: the complete 2D picture}

  \entry{2020/10/14}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction}

  \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/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}

  \entry{2019/06/06}{HoTT-UF Project}{CAS Oslo}{What is proof relevant category theory?}

  \entry{2019/04/02}{School and Workshop on Univalent Mathematics}{University of Birmingham}{The univalence axiom, a brief \& incomplete tour}

  \entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins} {Polynomial functors, a degree of generality}

  \entry{2019/02/10}{Johns Hopkins Mathematics Tournament}{audience of high-school students}{Fractions: ratio of two integers or universal machine?}

  \entry{2018/11/30}{University Seminar}{George Washington Univ.}{Homotopy Type Theory, the confluence of logic and space}

  \entry{2018/11/08}{Category Theory Seminar}{Johns Hopkins}{What is an LCC?}

  \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/11/15}{Graduate Topics Course}{Johns Hopkins}{What do we mean when we say spectra?}

  \entry{2017/11/30}{University Seminar}{George Washington Univ.}{An Intuitive Description of Toposes, Toposes as a Description of Intuitionism}

  \entry{2017/10/12}{Category Theory Seminar}{Johns Hopkins}{All good things must come to an end}

  \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)}

  \ruletitle{Conferences Attended}

  \datelistentry{2021}{CT 20$\to$21 online, Genoa}

  \datelistentry{2021}{ACT 2021 online, Cambridge}

  \datelistentry{2019}{Category Theory Octoberfest, JHU}

  \datelistentry{2019}{Homotopy Type Theory, CMU}

  \datelistentry{2019}{Category Theory, Edinburgh}

  \datelistentry{2019}{Types, Oslo}

  \datelistentry{2019}{HoTT-UF Project, CAS Oslo}

  \datelistentry{2019}{Summer School on Higher Topos Theory and Univalent Foundations, Leeds}

  \datelistentry{2019}{School and Workshop on Univalent Mathematics, Birmingham}

  \datelistentry{2018}{Vladimir Voevodsky\\Memorial Conference, IAS}

  \datelistentry{2018}{Category Theory Octoberfest, CUNY}

  \datelistentry{2018}{Directed Reading Programme\\Network \& Workshop, MIT}

  \datelistentry{2017}{Category Theory Octoberfest, CMU}

  \datelistentry{2017}{Category Theory 2017, UBC}

  \ruletitle{Competencies}

  \listentry{Comfortable in Python (incl. torch) \& Haskell, with experience in Agda, C, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}

  \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)}

  \vfill\null
  \columnbreak

  \ruletitle{Personal Pursuits}

  \listentry{\textcolor{cv-h1}{Electronics \& 3D printing}
    Various projects leveraging micro-controllers and custom circuitry}

  \listentry{\textcolor{cv-h1}{Cellular automata} Exploration of rule sets and pattern engineering}

  \listentry{\textcolor{cv-h1}{Esoteric Programming Languages}
    Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})}

  \listentry{\textcolor{cv-h1}{Fractal Art} Exploration of the media
    of iterated function systems, chaotic maps and attractors, and
    epicyclic generators}

  \listentry{\textcolor{cv-h1}{Digital Music} Leveraged trackers and
    other platforms to create a variety of compositions}

  \vfill\null

  \rule{0.7\linewidth}{0.4pt}

  {References available upon request}

  \vfill\null

\end{multicols}

\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% TeX-engine: xetex
%%% End: