EPSRC logo
Researcher Details
Name: Dr P Oliva
Organisation: Queen Mary University of London
Department: Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/H011803/1 Computation-Sensitive Proofs(P)
EP/F033133/1 Building a New Community: Modelling, Visualisation and Verification of Large Scale Systems(C)
EP/F02309X/1 Extreme Reasoning(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator