- AFSOR project (with Oxford): Algorithmic and Logical Aspects when Computing Meanings.
- Clothes Network Ltd: Compositional vector methods for request classification, with FayiMora Femi-Balogun
- EPSRC project (with Oxford): New Foundational Structures for Engineering Verified multi-UAV’s.
- EPSRC Career Acceleration Fellowship: Foundational Structures for Compositional Meaning.
- EPSRC Postdoctoral Fellow ship: Algebraic and Coalgebraic Semantics for Knowledge (AlCoSeK).
