Skip to main content

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.

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
Image by: Stellenbosch University

Prof Brink van der Merwe
Prof Lynette van Zijl
Image by: Stellenbosch University

Prof Lynette van Zijl
Willem Bester
Image by: Stellenbosch University

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
Image by: Stellenbosch University

Prof Bernd Fischer

Prof Willem Visser
Image by: Stellenbosch University

Prof Willem Visser
Prof Jaco Geldenhuys
Image by: Stellenbosch University

Prof Jaco Geldenhuys
Dr Cornelia Inggs
Image by: Stellenbosch University

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
Image by: Stellenbosch University

Prof Steve Kroon
Dr Trienko Grobler
Image by: Stellenbosch University

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
Image by: Stellenbosch University

Prof Anthony Krzesinski
Prof Willem Visser
Image by: Stellenbosch University

Prof Willem Visser
Prof Jaco Geldenhuys
Image by: Stellenbosch University

Prof Jaco Geldenhuys