Skip to main content

Research

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

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

Projects

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.