Talks

Slides of some talks I gave.

On AI-Assisted Mathematical Research An introductory talk on using AI in mathematical research beyond prompting.
Table Goes in, Picture Comes Out An introduction to formal concept analysis and some advertisement for a tool I implemented.
An Introduction to Optics A toy implementation of existential optics in Kotlin.