A brief description of my experience with computer formalized proofs is contained within the article A.I. Is Coming for Mathematics, Too.
A video Mathematician explains infinity in 5 levels of difficulty, produced as episode 22 of the WIRED 5 levels series.
An article The mathematic mind of Emily Riehl from Johns Hopkins Magazine.
An expository essay Infinity-Category Theory Offers a Bird’s-Eye View of Mathematics, originally published with the title “Infinite Math” in Scientific American 325, 4, 32-41 (October 2021).
An interview on Tidbits of Research with Smaranda Sandu.
An interview on Topology, Categories, and the Future of Mathematics on Seal Carroll’s Mindscape Podcast.
A video interview for ΜΣΣΤ a Mathematician.
A press release from the Association for Women in Mathematics for the 2021 Joan & Joseph Birman Research Prize in Topology and Geometry.
A Quanta Magazine article on the community effort to develop the foundations of ∞-category theory: With Category Theory, Mathematics Escapes From Equality, with an interview I gave in response.
An interview from the Association for Women in Mathematics November-December issue by Beth Malmskog: read the full version from the Mathematics, Live! column or a web excerpt, Category Theory and Context: An Interview with Emily Riehl.
A Science Friday radio interview, The Infinitely Surprising Career of a Mathematician, with Eugenia Cheng and Rebecca Goldin, with an accompanying off-air interview.