Qualifications

  • BSc (with distinction), Rhodes University, South Africa, 1988.
  • (distinctions in Mathematics, Applied Mathematics and Computer Science)
  • BSc Honours in Mathematics (with distinction), Rhodes University, South Africa, 1989.
  • MSc in Mathematics (with distinction), University of Cape Town, South Africa, 1991.
    Dissertation: Modelling the algebra of weakest preconditions.
  • PhD in Mathematics, University of Cape Town, South Africa, 1995.
    Dissertation: A topological framework for program semantics.

Present Position

  • Professor, Mathematics Division, Mathematical Sciences, University of Stellenbosch, 1 June 2009 – .
  • Executive Head of Department of Mathematical Sciences (Mathematics, Applied Mathematics, Computer Science), University of Stellenbosch, 1 January 2010 – .
  • Vice-dean (Teaching) of the Faculty of Science, 1 October 2011 –

Earlier Positions

  • Junior Research Fellow, Department of Mathematics and Applied Mathematics, University of Cape Town, 1994-1995
  • Visiting Research Fellow, Mathematical Institute, University of Oxford,1996.
  • Research Officer, Computing Laboratory, University of Oxford, 1997.
  • Lecturer, Department of Mathematics and Applied Mathematics, University of Cape Town, 1998-2002.
  • Senior Lecturer, Department of Mathematics and Applied Mathematics, University of Cape Town, 2003-2004.
  • Associate Professor, Mathematics Division, Mathematical Sciences, University of Stellenbosch, 2005