diff options
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 47 |
1 files changed, 40 insertions, 7 deletions
@@ -171,7 +171,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins} {Intersession Course: Recreational Math. for All} - \entry{2017, 18, 19}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory} + \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} @@ -183,7 +183,9 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \ruletitle{Papers} - \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication}{the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.} + \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{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}{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.} @@ -192,6 +194,32 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp % \vfill\null % \columnbreak + \ruletitle{Computer Science} + + \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} + + I have contributed code to the following notable open-source projects: + + \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} + + I have several medium-to-large projects of my own, a selection: + + \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{Notable Service} \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{} @@ -250,6 +278,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)} + %\columnbreak + \ruletitle{Conferences Attended} \datelistentry{2021}{CT 20$\to$21 online, Genoa} @@ -280,26 +310,27 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \datelistentry{2017}{Category Theory 2017, UBC} - \columnbreak + %\columnbreak \ruletitle{Competencies} - \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript, - \LaTeX, and Python} + \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript, \LaTeX, Python, and Zig} \listentry{English (fluent), Hebrew (intermediate), Afrikaans (intermediate)} % \vfill\null - % \columnbreak + \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} + 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 @@ -311,6 +342,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \rule{0.7\linewidth}{0.4pt} {References available upon request} + + \columnbreak \vfill\null \end{multicols} |