Nils Timm & Stefan Gruner win best paper awardNils Timm and Stefan Gruner from the System Specifications and Formal Methods (SSFM) research group received the Best Paper Award for their paper on 3-Valued Model Checking at the Brasilian Formal Methods Conference 2014. Read More
Welcome to the Department of Computer Science at the University of Pretoria.
Our main objective is to explore and research the scientific basis of new technologies. We furthermore promote the proliferation of reliable, robust and innovative computing and information technologies into the IT industry in South Africa.
Excellence in computer science education, the development of internationally and nationally recognised research initiatives, and strong industry collaboration, are the driving factors underpinning the success of the department.