Mohamed Taha, graduated March 2008 (MSc): Regulated rewriting in formal language theory.
Carl Crous, graduated March 2009 (MSc): Autonomous robot path planning.
Gerrit Greeff, graduated March 2009 (MSc): Interactive voxel terrain design using procedural techniques.
Walter Schulze, graduated March 2010 (MSc), A formal language theory approach to music generation.
Jan Buys, graduated December 2013 (MSc): Probabilistic tree transducers for grammatical error correction.
Dirk Brand, graduated March 2016 (MSc): Automatic prediction of comment quality.
Nicolaas Weideman, graduated December 2017 (MSc): Static analysis of regular expressions.
Heila-Marie Botha (co-supervised with Willem Visser), graduated December 2017 (PhD): Verifying Android Applications Using Java PathFinder.
Jacobus Daniël Thom (co-supervised with Steve Kroon), graduated March 2018 (MSc): Combining Tree Kernels and Text Embeddings for Plagiarism Detection.
Alex Leid (co-supervised with Willem Visser), graduated March 2020 (MSc): Testing Smart Contracts.
Stefan Strydom, April 2021, graduated Dec 2021 (MSc): Automatic assignment of diagnosis codes to free-form text medical notes.
Steyn Van Litsenborgh, Dec 2022 (MSc): An investigation into performance-related issues of regular expression matching
Andrei Dreyer, March 2023 (MSc): Using Transformers to assign ICD codes to medical notes.
David Baker Effendi (co-supervised with Willem Visser and Fabian Yamaguchi), graduated March 2025 (PhD):An Approach to Modern Static Analysis with Property Graphs.
Nadia van Niekerk, graduated March 2025 (MSc): An Exploration into the ZKP Software Space.