diff options
Diffstat (limited to 'industry_cv.tex')
| -rw-r--r-- | industry_cv.tex | 21 |
1 files changed, 13 insertions, 8 deletions
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} |