Status:
Personal website:
+44 1865 615193
ORCID iD:
https://orcid.org/0000-0002-1908-5927
Research groups:
Address
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
Recent Books:
Ada Lovelace: The Making of a Computer Scientist
ISBN-13: 9781851244881
(2018)
Recent Publications:
Explanation in mathematical conversations: an empirical investigation.
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
issue 2140
volume 377
page 20180159-
(March 2019)
The early mathematical education of Ada Lovelace
BSHM Bulletin
issue 3
volume 32
page 221-234
(2 September 2017)
The Lovelace-De Morgan mathematical correspondence: A critical re-appraisal
HISTORIA MATHEMATICA
issue 3
volume 44
page 202-231
(August 2017)
Full text available
Modelling the Way Mathematics Is Actually Done
FARM '17: PROCEEDINGS OF THE 5TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL ART, MUSIC, MODELING, AND DESIGN
page 10-19
(2017)
Full text available
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues
INTELLIGENT COMPUTER MATHEMATICS
volume 10383
page 132-146
(2017)
Full text available