Jonathan Gorard Associate Director of Research

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 quantum mechanics functionality) and one of the cofounders of the Wolfram Physics Project, where he is now associate director of research. His published research comprises novel contributions to general relativity, the foundations of quantum mechanics, quantum information theory, mathematical logic, computational complexity theory, functional analysis, combinatorics and algebraic graph theory, among many other areas. His hobbies and interests include cognitive neuroscience, psycholinguistics, analytic philosophy, abiogenesis, senescence, cryonics, hiking, running, Mediterranean food jazz piano and mixed lacrosse.


United Kingdom

Institutional Affiliation

University of Cambridge and Wolfram Research

Research Topics & Interests

  • Mathematical Foundations of the Wolfram Model
  • Fundamental Aspects of (Hyper) graph Theory and Discrete Differential Geometry
  • Implications for the Foundations of General Relativity and Quantum Mechanics
  • Connections to Mathematical Logic and Theoretical Computer Science
  • Connections to Automated Theorem Proving
  • Computability and Computational Complexity Theory
  • Connections to (Higher) Topos Theory and Categorical Quantum Mechanics
  • Implications for Quantum Information Theory

Selected Talks and Presentations