EPSRC logo
Researcher Details
Name: Dr L Dixon
Organisation: Google
Department: New York office
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/H023119/1 The potential of automated reasoning tools to assist the working mathematician(C)
EP/G009228/1 Alan Bundy Symposium(C)
EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes.(R)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator