Jaco Geldenhuys is Associate Professor of Computer Science at Stellenbosch University. His work over the last 25 years have focused mainly on formal methods, model checking, software engineering, automata & language theory, data structures and algorithms.

Willem Visser is Full Professor of Computer Science at Stellenbosch University and an A-rated NRF researcher.

Phillip van Heerden is an MSc student in Computer Science. He is currently working on the combination of supervised learning algorithms and concolic execution.

Justin Stigling is a HonsBSc student in Computer Science. He is currently working on ...

Mishka Mohamed is a HonsBSc student in Computer Science. She is currently working on the analysis of neural networks with concolic execution.