University Of Pretoria Computer Science Department

Nils Timm & Stefan Gruner win best paper award

Nils 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
The Information Technology Building


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.

Additional News


Remember Me
All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa