EPSRC logo
Researcher Details
 
Name: Dr K Korovin
Organisation: University of Manchester, The
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/V000497/1 SCorCH: Secure Code for Capability Hardware(C)
Previous EPSRC Support
EP/K032674/1 REVES: REasoning in VErification and Security(C)
GR/T08760/01 Integrating domain knowledge into general purpose first-order theorem proving(R)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator