From 563e8e8ce64746496f8725755657ebcab360a091 Mon Sep 17 00:00:00 2001 From: tslil clingman <> Date: Mon, 19 Feb 2024 10:44:14 +0100 Subject: Fix indentation, update --- cv.pdf | Bin 72427 -> 83357 bytes cv.tex | 29 ++++++++++++++++++++--------- industry_cv.pdf | Bin 62784 -> 74236 bytes industry_cv.tex | 21 +++++++++++++-------- 4 files changed, 33 insertions(+), 17 deletions(-) diff --git a/cv.pdf b/cv.pdf index 68ff861..411ff2a 100644 Binary files a/cv.pdf and b/cv.pdf differ diff --git a/cv.tex b/cv.tex index 856684d..664e283 100644 --- a/cv.tex +++ b/cv.tex @@ -144,6 +144,12 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp % Main data % ----------------------------------------------------------------------------- \begin{multicols}{2} + \ruletitle{Work Experience} + + \entry{2022-\hphantom{2022}}{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} @@ -165,6 +171,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \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} @@ -184,13 +192,15 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory} - \ruletitle{Award} + \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{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.} @@ -217,23 +227,23 @@ 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} - \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} \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} + \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 (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], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine} \ruletitle{Notable Service} - \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{} + \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} + \newcolumn + \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} @@ -324,8 +334,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \listentry{Comfortable in C \& Haskell, with experience in Agda, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} - \listentry{English (fluent), Hebrew (intermediate), Afrikaans - (intermediate)} + \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} \vfill\null \columnbreak @@ -347,6 +356,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \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} diff --git a/industry_cv.pdf b/industry_cv.pdf index 051e865..9668465 100644 Binary files a/industry_cv.pdf and b/industry_cv.pdf differ diff --git a/industry_cv.tex b/industry_cv.tex index 505ddfc..e59cbd7 100644 --- a/industry_cv.tex +++ b/industry_cv.tex @@ -132,6 +132,12 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl} % Main data % ----------------------------------------------------------------------------- +\ruletitle{Work Experience} + +\entry{2022-\hphantom{2022}}{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} @@ -178,8 +184,8 @@ In the period 2016-present, i have created several medium-to-large projects of m \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} +\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 (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], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine} \ruletitle{Papers} @@ -191,11 +197,11 @@ In the period 2016-present, i have created several medium-to-large projects of m \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{Award} +\pagebreak -\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.} +\ruletitle{Teaching Award} -\pagebreak +\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.} \ruletitle{Teaching Experience} @@ -218,7 +224,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole \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{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} @@ -234,8 +240,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole \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)} +\listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} \ruletitle{Personal Pursuits} -- cgit v1.3.1