Computer Science PhD

We offer PhD and MPhil supervision in Computer Science in areas compatible with the research interests of our academic staff including:<br/><br/><br/>• Algebraic and Categorical Structures and Methods<br/><br/><br/><br/>• Algorithm Design, Analysis, and Engineering<br/><br/><br/><br/>• Deduction, Rewriting, and Transformation<br/><br/><br/><br/>• Models of Software Intensive Systems<br/><br/><br/><br/>• Software Evolution<br/><br/><br/><br/>• Knowledge Discovery and Machine Learning<br/><br/>