On local states and fibered monads Photograph by Ross Duncan, Oxford 2017
On dialogue categories Photograph by Jürgen Koslowski, Calais 2008
My true self (as seen by a student) Drawing by Jennifer Ziyuan Huang
Mathematical life in Bonn Homotopy type theory at HIM, June 2018