Name:	Dr PB Jackson
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/V026607/1 UKRI Trustworthy Autonomous Systems Node in Governance and Regulation (C) EP/M027317/1 C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence (C) EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes (C) EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes (C) EP/I010335/1 Automatic Proof Procedures for Polynomials and Special Functions (P) EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes. (C) GR/S01771/01 Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes (C) GR/N64243/01 HARDWARE VERIFICATION BY COMBINING MODEL CHECKING AND THEOREM PROVING TECHNOLOGIES (P) GR/M45030/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator