Jaco Geldenhuys

Associate Professor

Computer Science Division,
Dept of Mathematical Sciences,
University of Stellenbosch
Private Bag X1, 7602 Matieland, SOUTH AFRICA

Phone: +27 21 808 4232
E-mail: geld -at- sun.ac.za
Office: A519, General Engineering Building

Stellenbosch University 1918–2018


I teach the following courses in 2018:

Previous courses I have taught


My research focuses on Software Engineering, specifically formal methods (model checking and process algebra), static analysis, testing, and open source software. As a side-effect, I am also interested in automata and language theory, and data structures and algorithms.

Recent Publications

All my publications and other research information

Research projects


Coming soon


Coming soon

Student supervision

Current students:

Recently graduated:

Complete list of past students

Read this if you are interested in pursuing a masters/doctoral degree.


Bit of a mess at the moment. Let's just say "under construction".