Ongoing
Lead speaker & organiser
“Talking Physics” — podcast & seminar series
A seminar and podcast series I organise and speak in, preparing specialised technical lectures for a mixed audience of physicists and mathematicians.
- Dependent type theory and its mathematical applications
- The Yoneda lemma and its topological corollaries
- Higher-dimensional generalisations of electromagnetism sharing identical metric signatures
August 2025 – present