PhD students
Michelle Michau, Recursive characterisations and approximations of classes of trees, current
PhD students
Michelle Michau, Recursive characterisations and approximations of classes of trees, current
MSc students
Michelle Michau, A guide to the Rado graph: Exploring structural and logical properties of the Rado graph, 2023
Honours essay students
Emma Steyn, The Collatz conjecture in different number systems, 2024
Michelle Michau, Coordinatisation of Projective Planes: The Relationship Between Algebraic Properties of a Ternary Ring and Geometric Properties of a Projective Plane, 2019
Jean-Pierre de Villiers, On the First-Order Theory of Binary Trees, 2018
Laurie Harrison, Secure Aggregation of Distributed Information: A New Form of Encryption Without the Use of Prime Numbers, 2015
Elre van Zyl, Secure Aggregation of Distributed Information: An Introduction, 2015
Daniela Casilli, Logically Equivalent Coloured Linear Orders, 2014
Topics for honours essays
The following topics are available for students who wish to write their honours essays under my supervision:
Ramsey theory and Milliken's tree theorem
The theorems of Läuchli and Leonard for linear orders
The existence of Suslin lines and Suslin trees
(co-supervised with Stefan Grüner) Automatic detection of a loop invariant function from variable values
(co-supervised with Stefan Grüner) Is the Collatz function chaotic?