Grants

• PI of INI-HIMR network grant for 'Higher Structures in Category Theory, Homotopy Theory and Type Theory', 2025-2027.

• PI of INI-EPSRC network grant for CATNIP network, 2023-2025.

• PI of LMS Scheme 1 conference grant, 2019.

• PI of LMS Scheme 3 grant for YaMCATS network, 2014-2021.

• PI of LMS Scheme 1 conference grant, 2016.

• PI of EU Marie Curie International Reintegration Grant HOMALGHIGH (2011-2015) held at University of Leicester.

• PI of Australian Research Council Postdoctoral Fellowship DP0558598 (2005-2008) held at Macquarie University.