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

Campus updates: Protest action

Teaching

I teach the following courses in 2016:

I will teach the following courses in 2017 (preliminary):

Previous courses I have taught

Research

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

Green

Coming soon

Impendulo

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.

Software

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