# tslil clingman

How does one begin a website? What should be the first sentence to meet the reader's eyes? I have elected to circumvent this predicament by, careful readers may note, omitting the first sentence of this website entirely.

I am a 4th year graduate student, my supervisor is Emily Riehl.

My interests are: formal category theory, higher categories, and homotopy type theory.

Today's day of the day is -- well, this joke requires javascript :(.

📧 tslil@jhu.edu
200 Krieger Hall, 3400 N. Charles Street, Baltimore, MD 21218

## Notes

Here you can find some of the things i have written up. Usually this is because i thought they were interesting, sometimes the notes were intended to help me better understand things, and sometimes they represent a transcript of my explorations. In no particular order,

## Teaching

### Introduction to Proofs: Course development assistant

In Spring of 2019 Prof. Riehl and i designed and ran an introductory course for mathematics. The course was split into three components: a ‘standard’ introduction to proofs, an enquiry-based learning approach to metric spaces, and a discussion-format section on the notion of proof in mathematics.

The first third of the course used the structure of the book “How to Prove It” by Velleman, and had homework generated by Prof. Riehl and i, as well as some extracted from the book.

During the first third, for a change of perspective and so as to introduce notions of constructive mathematics, i lectured for a week on computer proof assistants. The class re-learnt propositional calculus through the use of the Coq computer proof assistant, as available online at Collacoq, and the goal was a modest reading comprehension of Coq code.

The script for these lectures, containing an introduction to type theory, Coq, and Collacoq -- to the extent necessary for, and phrased within the broader of the course -- as well as reading exercises, is available here.

In addition i created a written homework sheet, with feedback from Prof. Riehl, on constructive mathematics, available here.

In the second third of the course we switched to an IBL (enquiry-based learning) format and explored some of the early theory of metric spaces. Students completed the appropriate (portion of) the appropriate script before class and took it in turns to present their difficulties or successes with the material to one another. Here are the scripts i designed, with editing and input from Prof. Riehl. These are all made available under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License.

### Mentor in the JHU Directed Reading Programme

I have been a mentor in the JHU Directed Reading Programme since its inception. The programme pairs undergraduate students with graduate students for one-on-one independent studies over the course of a semester.

I have mentored projects on the following topics: Fundamentals of General Topology, Braid Group Representations and Knot Invariants, Category Theory, and Homotopy Type Theory.

Abstracts of the projects may be found on the programme website.

In the Autumn of 2018 i was offered the role of Head Teaching Assistant for the Calculus III course at JHU. The instructor, Prof. Riehl, decided that the course should have an online homework component and so we settled on the WeBWorK platform.

During the course i was responsible for managing the online platform, exporting grades, and at times, programming new exercises for the students.

Owing to my experience in this position and my desire to see an online homework platform succeed, i was offered the same role for the course in the Autumn of 2019, though this time the instructor was Prof. Richard Brown, the director of undergraduate studies.

### Introduction to Calculus: Sole instructor

In Autumn of 2017 i was offered the chance to run the introductory mathematics course designed to bridge high-school and university level mathematics. Although there was an assigned course text, the syllabus, homework, tests and exams, teaching, and marking were left entirely to me. Thus, i designed and ran the course.

### Intersession Course: Primary Instructor

In January of 2017 several colleagues and i applied for, and were granted permission by the university to run an intersession course on recreational mathematics entitled “Recreational Mathematics for All”. We divided up the course into several, related topics and each co-organiser was given a few lectures to develop their topic. I lectured on secret sharing, building on the number theory that had gone before, and paving the way to the group theory that would come after. For evaluation the students submitted an elaboration of a topic that they had met during the course.

### Cumulative experience as a teaching assistant

I have served as a Teaching Assistant in courses concerning: Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, The Calculus Sequence, and String Theory.

## Notable Service

• Primary organiser of the 2019 Category Theory Octoberfest at JHU.
• Co-organiser of the JHU chapter of the Directed Reading Programme (Autumn & Spring 2018, 2019).
• Organiser of Slideshow Karaoke for the Graduate Lunch Seminar at JHU.
• Founder of the Maths Postgraduate Tea Party, Univ. of Cape Town -- a biweekly meeting of graduates, comprising peer lectures and discussions over tea.
• Various roles in “Algorithm Circle”, a theoretical comp. sci. club, Univ. of Cape Town, holding free and open lectures, as well as competition preparation. Lecturer (2011-2015), Vice-chairman (2012, 2014), Chairman (2013).
• Organiser of a Haskell programming course, Univ. of Cape Town, 2011 & 2012 -- a free and open Haskell language programming course.

## Conferences

• Programme Associate, Higher Categories & Categorification, Spring 2020, MSRI, USA
• Category Theory Octoberfest 2019, JHU, USA
• Homotopy Type Theory 2019, CMU, USA
• Category Theory 2019, University of Edinburgh, UK
• Types 2019, Oslo, Norway
• HoTT-UF Project, CAS Oslo, Norway
• Summer School on Higher Topos Theory and Univalent Foundations, 2019, University of Leeds, UK
• School and Workshop on Univalent Mathematics, 2019, University of Birmingham, UK
• Vladimir Voevodsky Memorial Conference, IAS, USA
• Category Theory Octoberfest 2018, CUNY, USA
• Directed Reading Programme Network and Workshop 2018, MIT, USA
• Category Theory Octoberfest 2017, CMU, USA
• Category Theory 2017, UBC, Canada

## Hobbies

What do i do when i'm not doing maths? A small catalogue of some of my endeavours