University of Bath

Dr John Power Reader in computer science

John Power is a member of the Mathematical Foundations research group.

Portrait of John Power
John Power

Contact details 01225 384439

View all contact details



  • Lawvere theories
  • Enriched categories
  • Higher-dimensional categories
  • Categories with algebraic structure
  • Applications of these within computer science

This person is available to supervise research degree projects

Related posts

  • Director of Studies for Undergraduate Programmes (years 3 and 4)