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

a.j.power@bath.ac.uk 01225 384439

View all contact details

Research

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)