Hello!
I’m Chiara Sarti, a PhD student under the supervision of Prof. Jamie Vicary at the Computer Laboratory of the University of Cambridge. Within the department, I work as a member of the Cambridge Logical Structures Hub (CLASH.)
My research interests are focused around studying higher structures, such as higher dimensional categories, synthetically via their internal languages. These normally take the form of dependent type theories, such as Homotopy Type Theory (HoTT) for groupoids, but I am also interested in diagrammatic calculi.
A good example of a project I am proud to have worked on is homotopy.io. It is a proof assistant which allows one to do constructions in synthetic homotopy theory entirely through a graphical calculus for finitely-presented semistrict globular n-categories. If this does not make much sense to you, you can try out a tutorial I wrote for the tool.
I was not always a Computer Scientist. My academic background prior to PhD life was in pure Mathematics: I did a B.Sc. in Mathematics at King’s College London, to then join Part III of the Mathematical Tripos at the University of Cambridge. I maintain an active interest in foundations of Mathematics.