Updated Emily's website

4 files changed, 73 insertions, 75 deletions

diff --git a/cv.pdf b/cv.pdf
index 5c25fc7..955f3f0 100644
--- a/cv.pdf
+++ b/cv.pdf
diff --git a/cv.tex b/cv.tex
index 442bd6c..29269b9 100644
--- a/cv.tex
+++ b/cv.tex
@@ -129,7 +129,7 @@
 % -----------------------------------------------------------------------------
 PhD candidate at JHU, expected graduation 2022
 
-Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl}
+Supervised by \href{http://emilyriehl.github.io}{Emily Riehl}
 
 Interested in: \emph{formal category theory}, \emph{higher categories}, and \emph{homotopy type theory}.
 
diff --git a/industry_cv.pdf b/industry_cv.pdf
index e579661..f1710b8 100644
--- a/industry_cv.pdf
+++ b/industry_cv.pdf
diff --git a/industry_cv.tex b/industry_cv.tex
index 9a538c3..83d880b 100644
--- a/industry_cv.tex
+++ b/industry_cv.tex
@@ -121,140 +121,138 @@
 % -----------------------------------------------------------------------------
 PhD candidate at JHU, expected graduation 2022
 
-Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl}
-
+Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
 % -----------------------------------------------------------------------------
 % Main data
 % -----------------------------------------------------------------------------
 
-  \ruletitle{Education}
-
-  \entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins, expected graduation 2022}{}
+\ruletitle{Education}
 
-  \entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}
+\entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins, expected graduation 2022}{}
 
-  \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math.}{Completed written qualifying exams and oral speciality exam}
+\entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}
 
-  \entry{2016-2018}{Principle Fulbright Scholar}{Johns Hopkins}
-  {Selected \& funded to pursue PhD in Math., transferred from George Washington University}
+\entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math.}{Completed written qualifying exams and oral speciality exam}
 
-  \entry{2015-2016}{Principle Fulbright Scholar}{George Washington University}{Graduate coursework}
+\entry{2016-2018}{Principle Fulbright Scholar}{Johns Hopkins}
+{Selected \& funded to pursue PhD in Math., transferred from George Washington University}
 
-  \entry{2015}{Masters Degree} {University of Cape Town, M.Sc. Math., with Distinction} {Dissertation: ``On the local and global properties of information manifolds''}
+\entry{2015-2016}{Principle Fulbright Scholar}{George Washington University}{Graduate coursework}
 
-  \entry{2014-2015}{Research Group}{University of Cape Town, Information Geometry} {Quantum Gravity and Strings Laboratory}
+\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}{Honours Degree}{University of Cape Town, Pure Math., First Class}{}
+\entry{2014-2015}{Research Group}{University of Cape Town, Information Geometry} {Quantum Gravity and Strings Laboratory}
 
-  \entry{2011-2013}{Bachelor of Science}{University of Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction}
+\entry{2014}{Honours Degree}{University of Cape Town, Pure Math., First Class}{}
 
-    \ruletitle{Computer Science}
+\entry{2011-2013}{Bachelor of Science}{University of Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction}
 
-  Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following:\\
+\ruletitle{Computer Science}
 
-  \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.}
+Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following:\\
 
-  \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-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{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}
+\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.}
 
-  In the period 2011-present, i have contributed code to several open-source projects, including:\\
+\entry{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}
 
-  \listentry{\href{http://mikeos.sourceforge.net/\#credits}{MikeOS}, a 16bit real-mode operating system written in x86 assembly}
+In the period 2011-present, i have contributed code to several open-source projects, including:\\
 
-  \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{http://mikeos.sourceforge.net/\#credits}{MikeOS}, a 16bit real-mode operating system written in x86 assembly}
 
-  \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}\\
+\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}
 
-  In the period 2016-present, i have created several medium-to-large projects of my own, including:\\
+\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}\\
 
-  \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}
+In the period 2016-present, i have created several medium-to-large projects of my own, including:\\
 
-  \ruletitle{Papers}
+\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}
 
-    \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.}
+\ruletitle{Papers}
 
-  \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{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{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{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{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''.}
+\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.}
 
-  \ruletitle{Award}
+\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''.}
 
-  \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{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}
+\pagebreak
 
-  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}
+\ruletitle{Teaching Experience}
 
-  \entry{2018-2021}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (twice \& thrice, resp.) and online homework system}
+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{Spring 2019}{Course development}{Johns Hopkins} {Introduction to Proofs, assisted Prof. Riehl in course development}
+\entry{2018-2021}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (twice \& thrice, resp.) and online homework system}
 
-  \entry{Fall 2017}{Sole Instructor}{Johns Hopkins} {Introduction to Calculus}
+\entry{Spring 2019}{Course development}{Johns Hopkins} {Introduction to Proofs, assisted Prof. Riehl in course development}
 
-  \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
-  {Intersession Course: Recreational Math. for All}
+\entry{Fall 2017}{Sole Instructor}{Johns Hopkins} {Introduction to Calculus}
 
-  \entry{2017-`19, `21}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}
+\entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
+{Intersession Course: Recreational Math. for All}
 
-  \entry{Oct. 2014}{Invited Instructor}{University of Cape Town} {Introduction to Group Theory}
+\entry{2017-`19, `21}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}
 
-  \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
+\entry{Oct. 2014}{Invited Instructor}{University of Cape Town} {Introduction to Group Theory}
 
-  \ruletitle{Notable Service \& Leadership}
+\entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
 
-  \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
+\ruletitle{Notable Service \& Leadership}
 
-  \entry{2018}{Chapter representative}{Directed Reading Program (DRP)}{Represented the JHU DRP chapter at the Directed Reading Programme Network \& Workshop, MIT}
+\entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
 
-  \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{2018}{Chapter representative}{Directed Reading Program (DRP)}{Represented the JHU DRP chapter at the Directed Reading Programme Network \& Workshop, MIT}
 
-  \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{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{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{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 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course}
+\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)}
 
-  \ruletitle{Competencies}
+\entry{2011 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course}
 
-  \listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}
+\ruletitle{Competencies}
 
-  \listentry{English (fluent), Hebrew (intermediate), Afrikaans
-    (intermediate)}
+\listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}
 
-  \ruletitle{Personal Pursuits}
+\listentry{English (fluent), Hebrew (intermediate), Afrikaans
+  (intermediate)}
 
-  \listentry{\textit{Electronics \& 3D printing}:
-    Various projects leveraging micro-controllers and custom circuitry}
+\ruletitle{Personal Pursuits}
 
-  \listentry{\textit{Cellular automata}: Exploration of rule sets and pattern engineering}
+\listentry{\textit{Electronics \& 3D printing}:
+  Various projects leveraging micro-controllers and custom circuitry}
 
-  \listentry{\textit{Esoteric Programming Languages}:
-    Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})}
+\listentry{\textit{Cellular automata}: Exploration of rule sets and pattern engineering}
 
-  \listentry{\textit{Fractal Art}: Exploration of the media
-    of iterated function systems, chaotic maps and attractors, and
-    epicyclic generators}
+\listentry{\textit{Esoteric Programming Languages}:
+  Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})}
 
-  \listentry{\textit{Digital Music}: Leveraged trackers and
-    other platforms to create a variety of compositions}
+\listentry{\textit{Fractal Art}: Exploration of the media
+  of iterated function systems, chaotic maps and attractors, and
+  epicyclic generators}
 
-  \vfill
-  \rule{0.7\linewidth}{0.4pt}
+\listentry{\textit{Digital Music}: Leveraged trackers and
+  other platforms to create a variety of compositions}
 
-  {References available upon request}
+\vfill
+\rule{0.7\linewidth}{0.4pt}
 
+{References available upon request}
 
 \end{document}