diff options
| -rw-r--r-- | cv.pdf | bin | 81612 -> 73506 bytes | |||
| -rw-r--r-- | cv.tex | 2 | ||||
| -rw-r--r-- | industry_cv.pdf | bin | 0 -> 71145 bytes | |||
| -rw-r--r-- | industry_cv.tex | 313 |
4 files changed, 314 insertions, 1 deletions
| Binary files differ @@ -315,7 +315,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \ruletitle{Competencies} - \listentry{Comfortable in C \& Haskell, with experience in Agda, Common Lisp, Coq, Javascript, \LaTeX, Python, Rust, and Zig} + \listentry{Comfortable in C \& Haskell, with experience in Agda, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} \listentry{English (fluent), Hebrew (intermediate), Afrikaans (intermediate)} diff --git a/industry_cv.pdf b/industry_cv.pdf Binary files differnew file mode 100644 index 0000000..810ee90 --- /dev/null +++ b/industry_cv.pdf diff --git a/industry_cv.tex b/industry_cv.tex new file mode 100644 index 0000000..f1a661c --- /dev/null +++ b/industry_cv.tex @@ -0,0 +1,313 @@ +\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-link}{HTML}{0000EE} + +% ----------------------------------------------------------------------------- +% Commands for entries in the CV +% ----------------------------------------------------------------------------- + +\newsavebox{\ruletitletext} +\newlength{\ruletitleheight} +\newcommand{\ruletitle}[2][1pt]{ + \savebox{\ruletitletext}{{\Large\textbf{#2}}} + \settoheight{\ruletitleheight}{\usebox{\ruletitletext}} + { + \makebox[0pt][l]{\rule[0.25\ruletitleheight]{\linewidth}{#1}} + \hspace{2ex}\colorbox{white}{\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{{#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{{#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}} + \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}{white}{ + \begin{tabular}{l} + \email{tslil@posteo.de} \\ + \href{https://tslil.xyz}{https://tslil.xyz} \\ + {200 Krieger Hall, 3400 N. Charles St.} \\ + Baltimore, MD 21218 + \end{tabular} +}\vspace{-3ex} + +% ----------------------------------------------------------------------------- +% Brief academic info +% ----------------------------------------------------------------------------- +PhD candidate at JHU, expected graduation 2022 + +Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl} + + +% ----------------------------------------------------------------------------- +% Main data +% ----------------------------------------------------------------------------- + + \ruletitle{Education} + + \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.}{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} {University of Cape Town, M.Sc. Math., with Distinction} {Dissertation: ``On the local and global properties of information manifolds''} + + \entry{2014-2015}{Research Group}{University of Cape Town, Information Geometry} {Quantum Gravity and Strings Laboratory} + + \entry{2014}{Honours Degree}{University of Cape Town, Pure Math., First Class}{} + + \entry{2011-2013}{Bachelor of Science}{University of Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction} + + \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, University of 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/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/takwrap}{TakWrap} [Rust], a TUI for local play of the abstract strategy game of Tak} + \listentry{\href{https://git.sr.ht/~tslil/ctak}{ctak} [C, ongoing], a line-mode interface for the game of Tak, complete with a computer opponent. This project was designed to learn about (convolutional) neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI} + \listentry{\href{https://git.sr.ht/~tslil/zirc}{ZiRC} [Zig, ongoing], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine} + + \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.} + + \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.} + + \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''.} + + \ruletitle{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.} + + \pagebreak + + \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}{University of 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{Notable Service \& Leadership} + + \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\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, University of 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, University of 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, University of 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}{UVA Topology Seminar}{}{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}{}{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}{}{``Fractions: ratio of two integers or universal machine?'', audience of high-school students} + + \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{Competencies} + + \listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} + + \listentry{English (fluent), Hebrew (intermediate), Afrikaans + (intermediate)} + + \ruletitle{Personal Pursuits} + + \listentry{\textit{Electronics \& 3D printing}: + Various projects leveraging micro-controllers and custom circuitry} + + \listentry{\textit{Cellular automata}: Exploration of rule sets and pattern engineering} + + \listentry{\textit{Esoteric Programming Languages}: + Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})} + + \listentry{\textit{Fractal Art}: Exploration of the media + of iterated function systems, chaotic maps and attractors, and + epicyclic generators} + + \listentry{\textit{Digital Music}: Leveraged trackers and + other platforms to create a variety of compositions} + + \vfill + \rule{0.7\linewidth}{0.4pt} + + {References available upon request} + + +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% TeX-engine: xetex +%%% End: |