School of Computer Applications. Up to date news and listing of course modules along with lecturers pages and notes. Research areas cover AI, software engineering, formal methods, quantitive methods, language technologies, interoperability, databases,...