Research
Mathematics and computational science are utilised in almost every discipline of science, engineering, industry and technology. With nearly 50 full-time researchers and a large cohort of postgraduate students, the Department of Mathematical Sciences (which includes the Mathematics, Applied Mathematics, and Computer Science Divisions) strives to enhance the enrichment and transfer of knowledge to empower society to analyse and solve complex problems.
Below is an overview of research focus areas in the Computer Science Division.
Quick links
Theory and Applications of Automata and Grammars
We are interested in the theory of nondeterministic finite automata (NFA), and in particular the descriptional complexity of symmetric difference NFA. More generally, we also consider the application of automata and grammars to a wide selection of problems, such as pattern layout optimization with cellular automata, image processing with cellular automata, music generation in the style of a given composer using probabilistic automata, and using probabilistic automata on parse trees of English sentences for automatic grammar correction of English text.
Automata and grammars have a rich and well-developed body of theory that can be applied, but often practice dictates that the theory should be extended in novel ways. For the pattern layout optimisation problem, for example, cellular automata with cell clustering, i.e., cellular automata with changes in neighborhood topology over time, were defined and shown to be advantageous in practical applications.
Current members
Prof Brink van der Merwe
Prof Lynette van Zijl
Willem Bester
Software Engineering and Verification
Current members
The Software Engineering and Verification group at the University of Stellenbosch has been involved in the development of operating system kernels, protocols, and verification tools since 1990. We investigate the development of highly reliable system software by using a combination of computer-aided verification of designs, systematic testing, and defensive programming techniques.
Prof Bernd Fischer
Prof Willem Visser
Prof Jaco Geldenhuys
Dr Cornelia Inggs
Machine Learning and Artificial Intelligence
This group considers almost any aspect of the general decision-making problem, including sequential decision-making under uncertainty. Major sub-problems we consider are planning, machine learning, and search algorithms. Our approach is grounded in probability theory and game theory for managing uncertainty and multi-agent systems. We also investigate the combination of machine learning and big data, and specifically data from earth observation satellite sensors and radio interferometers.
Current members
Prof Steve Kroon
Dr Trienko Grobler
Telkom-Siemens CoE in ATM and Broadbank Networks and their Applicaitons
The University of Stellenbosch Unit of the Telkom-Siemens Centre of Excellence in ATM and Broadband Networks and their Applications aim to promote research and development in broadband technologies and their applications and to train postgraduate students and professionals in the expertise required in this field of telecommunications.
Prof Anthony Krzesinski
Prof Willem Visser