diff options
Diffstat (limited to 'industry_cv.tex')
| -rw-r--r-- | industry_cv.tex | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/industry_cv.tex b/industry_cv.tex index f1a661c..9a538c3 100644 --- a/industry_cv.tex +++ b/industry_cv.tex @@ -226,54 +226,6 @@ Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl} \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course} - \ruletitle{Talks} - - See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex} - - \entry{2021/11/11}{UVA Topology Seminar}{}{Structures for witnessed composition, an approach to higher categories} - - \entry{Sept. 2021}{Category Theory 20$\to$21}{}{Representation presentation: to present a representative, 2-representative theorem} - - \entry{2021/08/10}{Topos Institute}{}{Invitation to the next dimension: 2D doesn't mean double the work, only twice as much} - - \entry{2021/07/16}{Applied Cat. Theory 2021}{University of Cambridge}{Graphical Regular Logic: the complete 2D picture} - - \entry{2020/10/14}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction} - - \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{BI DOUBLing categories we'll see/ MULTIple morphisms acting weakly/ Two out of the four/ Have laws rather poor/ But the last is coherent VIRTUALLY!} - - \entry{2019/11/05}{Category Theory Seminar}{Johns Hopkins}{Within and not without: an apology for internal languages (2 parts)} - - \entry{2019/09/17}{Category Theory Seminar}{Johns Hopkins}{Induction \& construction: the pointless theory of localic topox} - - \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant category theory, as modelled by globular $T$-categories} - - \entry{2019/06/06}{HoTT-UF Project}{CAS Oslo}{What is proof relevant category theory?} - - \entry{2019/04/02}{School and Workshop on Univalent Mathematics}{University of Birmingham}{The univalence axiom, a brief \& incomplete tour} - - \entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins} {Polynomial functors, a degree of generality} - - \entry{2019/02/10}{Johns Hopkins Mathematics Tournament}{}{``Fractions: ratio of two integers or universal machine?'', audience of high-school students} - - \entry{2018/11/30}{University Seminar}{George Washington Univ.}{Homotopy Type Theory, the confluence of logic and space} - - \entry{2018/11/08}{Category Theory Seminar}{Johns Hopkins}{What is an LCC?} - - \entry{2018/09/20}{Oral Speciality Exam}{Johns Hopkins}{Type Theory and Categories, the unbearable likeness of being} - - \entry{2017/12/05}{Graduate Topics Course}{Johns Hopkins}{`Rings Modules and Algebras in Infinite Loop Space Theory' at a glance} - - \entry{2017/11/15}{Graduate Topics Course}{Johns Hopkins}{What do we mean when we say spectra?} - - \entry{2017/11/30}{University Seminar}{George Washington Univ.}{An Intuitive Description of Toposes, Toposes as a Description of Intuitionism} - - \entry{2017/10/12}{Category Theory Seminar}{Johns Hopkins}{All good things must come to an end} - - \entry{2017/04/09}{Graduate Topics Course}{Johns Hopkins}{The Calculus of Fractions and Homotopy Theory} - - \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)} - \ruletitle{Competencies} \listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} |