Projects

  • 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).