The Department of Computer Science was originally part of a larger department called Computer Science and Artificial Intelligence. Since the summer of 2007 it has been reformed into an autonomous and independent department within the Faculty of Information and Communication Technology (ICT).
The Department of Computer Science is mainly involved in endeavours within the fields of Software Engineering, and Systems Development and Verification - together with all the scientific areas that these general categories entail.