University of Stellenbosch

Department of Computer Science. Research areas include ATM and broadband networks, descriptional complexity, neural networks, program verification and systems programming.