Jonathan Gorard

Jonathan Gorard is a researcher in applied mathematics at the University of Cambridge (where he was previously a graduate student), a consultant mathematician for Wolfram Research (leading the development of the Wolfram Language's automated theorem proving, axiomatic mathematics, quantum computing and discrete-state ...