- PhD Student
Biography
I am a final-year PhD student in the Cambridge Logical Structures Hub (CLASH) under the supervision of Jamie Vicary.
Prior to my PhD, I did my undergraduate degree in Mathematics and Computer Science at Oxford.
Research
I work on the theory and implementation of the proof assistant homotopy.io for higher-dimensional string diagrams.
Teaching
I have supervised several courses at Cambridge:
- Further Java (Part IB, MT 2020)
- Compiler Construction (Part IB, LT 2021)
- Foundations of Computer Science (Part IA, MT 2021)
- Further Java (Part IB, MT 2021)
- Advanced Topics in Category Theory (MPhil ACS / Part III, LT 2022)
- Advanced Topics in Category Theory (MPhil ACS / Part III, LT 2023)
Professional Activities
Co-organiser of the 4th International Conference on Applied Category Theory (ACT 2021), 12-16 July 2021
Papers
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, and Jamie Vicary. "homotopy.io: a proof assistant for finitely-presented globular n-categories" (2024). arXiv:2402.13179
Calin Tataru and Jamie Vicary. "The theory and applications of anticolimits" (2024). arXiv:2401.17076
Calin Tataru and Jamie Vicary. "A layout algorithm for higher-dimensional string diagrams" (2023). arXiv:2305.06938
Talks
December 2022, "A layout algorithm for higher-dimensional string diagrams", SYCO 10, Edinburgh [slides]
