Formal qualifications

• PhD (Mathematics), University of the Witwatersrand, 2006 - 2010
  Topic of thesis: Logical Theories of Trees
  Supervisor: Valentin Goranko

• MSc (Mathematics), University of Johannesburg, 2004 - 2005
  Topic of thesis: Logical Theories of Orthogonality Structures
  Supervisor: Valentin Goranko

• BSc Honours (Mathematics), RAU, 2003

• BSc (Mathematical Sciences), RAU, 2000 - 2002

Active memberships

• Association for Symbolic Logic

• South African Mathematical Society

• American Mathematical Society