Navigation - publications · talks · research · resume

- my publications on the arXiv
- my public calendar

My research interests include

- interactive and automated theorem proving, particularly in Lean
- derived topological quantum field theories (TQFTs)
- Khovanov homology and 4d TQFTs
- the classification of subfactors, tensor categories, and modular categories
- higher category theory, in particular enriched category theory
- connections between higher category theory and topological phases of matter

I joined the ANU in 2012 as a Senior Lecturer, with a 'Discovery Early Career Research Award' from the ARC. In 2015, I received both the Christopher Heyde Medal, from the Australian Academy of Sciences, and the Australian Mathematical Society Medal. In 2016 I was promoted to Associate Professor. In 2018 I began an ARC 'Future Fellowship', and in 2020 was promoted to Professor.

From 2009-2012, I was a Miller Fellow at the UC Berkeley mathematics department During 2007-2009, I was a postdoc at Microsoft Station Q, at UC Santa Barbara.

I completed my Ph.D. in March 2007 at the University of California, Berkeley, studying with Vaughan Jones. My thesis received the Herbert Alexander Prize for Outstanding Dissertation in Pure Mathematics. Before Berkeley, I graduated from the University of New South Wales, Australia, with first class honours and the University Medal in pure mathematics.

**Website: **https://tqft.net/

**Email: **kim@tqft.net (and my public key)

**Phone: **+61 409 999 206 (cell), or +1 (510) 200-8738 (computer)