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