Higher Structures in Category Theory, Homotopy Theory and Type Theory.

I am the led organizer of the scientific network 'Higher Structures in Category Theory, Homotopy Theory and Type Theory', between the University of Aberdeen, The University of Birmingham, The University of Manchester and the University of Nottingham. It is supported by a INI-HIMR grant number EP/V521917/1 and EP/Z000589//1. I am the grant holder.

Categories Networking Project (CATNIP)

I am the led organizer of the scientific network CATNIP (Categories Networking Project), between the University of Aberdeen, the University of Edinburgh and the University of Strathclyde. It is supported by an INI-EPSRC grant EP/V521929/1. I am the grant holder.

Editorial duties

• I am a member of the editorial board of the journal Applied Categorical Structures.

• I am a member of the editorial board of the journal Compositionality. This is an inter-disciplinary journal for research using compositional ideas, notably of category-theoretic origin, in sciences. The journal also accepts submissions in pure category theory.

Organization of special programs

Co-organizer of the INI-funded one month program Topology, Representation Theory and Higher Structures, 26 May 2024 to 22 June 2024.

Organization of conferences and workshops

• PSSL 112, University of Nottingham, March 2026. 

• SYCO6, University of Leicester, 16-17 December 2019.

• 32nd British Topology Meeting, University of Leicester, 6-8 September 2017.

• Algebraic Topology Session at the 31st Summer Conference on Topology and its Applications, University of Leicester, 2-5 August 2016

• YaMCATS meetings, 2014 - 2021. 

• TTT93, University of Leicester, 12 November 2014.

External Committees

• Steering Committee member of the conference series 'Applied Category Conference'.

• Steering Committee member of the conference series 'Symposium of Compositional Structures (SYCO)'.

• Program committee member SYCO 1, University of Birmingham, September 2018, SYCO 2, University of Strathclyde, December 2018, SYCO 3, University of Oxford, March 2019, SYCO 4, Chapman University May 2019, SYCO6 University of Leicester December 2019, SYCO9 University of Insubria September 2022,

• Program committee member of Applied Category Theory Conference ACT2019, University of Oxford, July 2019 and Applied Category Theory Conference ACT2021, University of Cambridge, July 2021.

Women in Mathematics

I was one of the team leaders for the programme Women in Topology, Hausdorff Research Institute for Mathematics, August 2019.

Applied Category Theory

I was one of the mentors in the 2021 Applied Category Theory Adjoint School.

External PhD Thesis Examining

I have been external examiner of PhD theses at the following institutions: University of Stockholm (Sweden), University of Cambridge (UK), University of Leeds (UK), Macquarie University (Australia), Universite Paris-Diderot (France), University of Vienna (Austria).