Computer Science (Research)

We offer PhD and MPhil supervision in Computer Science in areas compatible with the research interests of our academic staff including:

• Algebraic and Categorical Structures and Methods

• Algorithm Design, Analysis, and Engineering

• Deduction, Rewriting, and Transformation

• Models of Software Intensive Systems

• Software Evolution

• Knowledge Discovery and Machine Learning