Computer Science Division
Computer Science is a vibrant and innovative environment, with a particular emphasis on high quality research. All our senior researchers are NRF rated, and we attract postgraduate students from all over the world. In addition to being strong in the foundational theories of Computer Science, our postgraduate students are expected to have excellent programming and technical skills.
The Division is home to the first IBM Software Centre of Excellence (CoE) in South Africa. This postgraduate computer laboratory includes advanced software such as the Rational® Development Environment, which provide a fully-fledged software production environment for students to hone their skills.
Our postgraduate qualification is directly accepted at prestigious international institutions, and sought after in industry.
FIELDS OF RESEARCH
Automata theory, grammars, and applications
We consider theoretical problems related to nondeterministic finite automata, tree automata, and graph grammars. We apply the theory to practical problems in image processing, diagram understanding, music generation, regular expression matchers, and more.
Program testing and verification
We work on testing, program analysis, symbolic execution, probabilistic symbolic execution, logic-based techniques, and model checking, for both sequential and concurrent systems. We also help develop the widely used Java PathFinder tool suite, as well as the CSeq and ESBMC tools that focus on analysing concurrent and embedded software.
We consider various aspects of artificial intelligence, including probabilistic modelling and machine learning. Application areas include, computer vision, natural language processing, robotics and computer players for various games.
Broadband and mobile networks
We investigate incentive schemes to promote cooperation and improve performance in mobile ad hoc networks. We also investigate protocols for data forwarding in vehicular ad hoc networks. We investigate the behaviour of the Bitcoin blockchain and the profitability of various dishonest data mining schemes.