Formal qualifications
PhD (Mathematics), University of the Witwatersrand, 2006 - 2010
Topic of thesis: Logical Theories of Trees
Supervisor: Valentin GorankoMSc (Mathematics), University of Johannesburg, 2004 - 2005
Topic of thesis: Logical Theories of Orthogonality Structures
Supervisor: Valentin GorankoBSc Honours (Mathematics), RAU, 2003
BSc (Mathematical Sciences), RAU, 2000 - 2002