diff options
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 29 |
1 files changed, 20 insertions, 9 deletions
@@ -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} |