School of Computer Science
  
 

Coronavirus (COVID-19)

See latest advice for UoN community and details of how to report symptoms or test results

Image of Roland Backhouse

Roland Backhouse

Emeritus Professor of Computing Science,

Contact

Research Summary

Path-finding algorithms, mathematics of program construction, algorithmic problem solving

Past Research

Relational theory of data types, generic programming, applications of regular algebra, syntax analysis, language theory, category theory, fixed-point calculus

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire