|
gptkbp:instanceOf
|
gptkb:computer_scientist
gptkb:mathematician
gptkb:physicist
|
|
gptkbp:affiliation
|
gptkb:University_of_Oxford
gptkb:Wolfram_Research
Wolfram Institute
|
|
gptkbp:almaMater
|
gptkb:University_of_Oxford
|
|
gptkbp:degree
|
gptkb:DPhil
|
|
gptkbp:doctoralAdvisor
|
gptkb:Samson_Abramsky
gptkb:Bob_Coecke
|
|
gptkbp:employer
|
gptkb:Wolfram_Research
|
|
gptkbp:field
|
gptkb:mathematics
gptkb:theoretical_physics
gptkb:quantum_computing
gptkb:Wolfram_Physics_Project
computer science
mathematical physics
physics
relativity
automated theorem proving
computational complexity
quantum foundations
hypergraph rewriting
multiway systems
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Jonathan Gorard
|
|
gptkbp:knownFor
|
research in quantum computing
research in computational complexity
research in automated theorem proving
research in quantum foundations
research in mathematical physics
research in relativity
work on Wolfram Physics Project
|
|
gptkbp:language
|
English
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableWork
|
gptkb:Wolfram_Physics_Project
automated theorem proving
hypergraph rewriting
multiway systems
quantum causal graph theory
|
|
gptkbp:occupation
|
gptkb:researchers
|
|
gptkbp:twitter
|
@GorardJonathan
|
|
gptkbp:website
|
https://www.jonathangorard.com/
|
|
gptkbp:bfsParent
|
gptkb:Wolfram_Physics
|
|
gptkbp:bfsLayer
|
7
|