Research Interests
Automated reasoning and symbolic computation
Stochastic optimisation methods for statistics and operations research
Mathematics and statistics education
Publications
The following pages list my publications and presentations, not always up to date. Links are given for some to download electronic copies.