Me

Chaitanya
Leena Subramaniam


I am a post-doc, working with Mike Shulman at the University of San Diego.

Here is a brief CV.

Writing

Preprints

In preparation

PhD Thesis

I did my PhD in the PPS group at the IRIF, Université Paris Diderot. It was supervised by Paul-André Melliès.
My PhD thesis titled "From dependent type theory to higher algebraic structures" is available on the arXiv: arXiv:2110.02804. The current version of the manuscript can also be found here. The slides of the defence are available here.

Talks

Teaching