## 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