Skip to main content


Research at the Department of Computer Science is classified into eight broad themes

Algorithms and Complexity Theory
Automated Verification
Computational Biology
Foundations, Logic and Structures
Information Systems
Programming Languages
Software Engineering


Search the Publications Database

Please enter a search term. You can narrow your search using the dropdown menu. The records of technical reports start from 2003 and monographs start from 1970.