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.

• Refereed publications

• Other publications

• Presentations