Workshop on Formal Methods and Agile Methods
Stefan Gruner of this department's research group on Software Science and Formal Method will again act as the chairman of the FM+AM'2010 workshop. The aim of this workshop is to find new solutions towards the 'reconciliation' of two different 'schools' of thought in software engineering: one of which strongly emphasises the issue of development speed (Agile Methods) whereas the other one strongly emphasises the issue of verification and correctness (Formal Methods).
Read More
Welcome
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
Prospective Students
This section contains all the information regarding admission requirements, degrees offered and various taught modules.
Research
Interested in a specific subfield within Computer Science? Explore our various research groups and their active staff members here.
Industry & Community
The department has a variety of industry partners and associated projects. It is also involved in community outreach projects throughout the year.