EPSRC logo
Researcher Details
 
Name: Dr J Navarro Perez
Organisation: UCL
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K040863/1 Automating Separation Logic Reasoning(P)
EP/K032542/1 Program Verification Techniques for Understanding Security Properties of Software(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator