Computer Science, Department of : [843] Community home page

The Department of Computer Science at Leicester.

The department's research is directed to the foundations of computational models, processes and structures, and the way they support the engineering of software intensive systems. Specific areas of interest are:

  • Algebraic and Categorical Structures and Methods
  • Algorithm Design, Analysis and Engineering
  • Computational Complexity of Algebraic Structures
  • Deduction, Rewriting and Transformation
  • Interaction Design and Evaluation of Socio-technical Systems
  • Models of Software Intensive Systems
  • Software Evolution
  • Verification and Validation

More details are available from the Department's research webpages.

When downloading papers please observe the normal copyright codes and conventions for their use.