EPSRC logo
Researcher Details
 
Name: Dr J Fleuriot
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
Previous EPSRC Support
EP/L011794/1 ProofPeer: Collaborative Theorem Proving(P)
EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes.(C)
GR/S98139/01 Automated Analysis of Security Critical Systems(C)
GR/S01771/01 Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
GR/N37414/01 A GENERIC APPROACH TO PROOF PLANNING(P)
GR/N64571/01 A PROOF SYSTEM FOR CORRECT PROGRAM DEVELOPMENT(C)
GR/M45030/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator