EPSRC logo
Researcher Details
 
Name: Professor C Hankin
Organisation: Imperial College London
Department: Dept of Computing
Current EPSRC-Supported Research Topics:
Control Engineering Fundamentals of Computing
Human Communication in ICT Networks & Distributed Systems
Software Engineering

Current EPSRC Support
EP/R022844/1 Research Institute in Trustworthy Inter-connected Cyber-physical Systems (RITICS)(P)
EP/R002983/1 Customized and Adaptive approach for Optimal Cybersecurity Investment(P)
Previous EPSRC Support
EP/N020138/1 Security by Design for Interconnected Critical Infrastructures(C)
EP/L021013/1 RITICS: Trustworthy Industrial Control Systems(P)
EP/K005790/1 Games and Abstraction: The Science of Cyber Security(P)
EP/J020478/1 Rogue Virtual Machine Identification in DaISy Clouds(C)
EP/I038837/1 Digital City Exchange(C)
EP/H023135/1 IDEAS Factory - Detecting Terrorist Activities: Making Sense(P)
EP/H000321/1 Aspects of Security(P)
EP/F05677X/1 Monochromated Transmission Electron Microscopy(P)
EP/F033605/1 Building New Capability in Structural Ceramics(C)
EP/E036112/1 Quantum Coherence: Joint Proposal for Optimising UK Research Capacity and Capability(P)
GR/T04724/01 Program Analysis and the Pi-Calculus: Foundations and Applications to Security(C)
EP/C509463/1 Academic Fellowships Imperial College London(P)
GR/S77066/01 Quantative Analysis of Computational Resources(C)
GR/M58740/01 PROBABILISTIC ABSTRACT INTERPRETATION(P)
GR/L80065/01 ABSTRACT INTERPRETATION OF SAFETY CRITICAL SYSTEM SPECIFICATIONS(P)
GR/L40403/01 TYPED CONCURRENT OBJECT-ORIENTED LANGUAGES: FOUNDATIONS,METHODS AND TOOLS(P)
GR/L21754/01 PROGRAMMING LANGUAGES FOR EXACT REAL NUMBER COMPUTATION: THEORY AND IMPLEMENTATION(C)
GR/H19330/01 STATIC ANALYSIS OF (PARALLEL) FUNCTIONAL PROGRAMS(P)
GR/G45335/01 PARAGON:A FORMALISM FOR PARALLEL SYSTEMS ARCHITECTURE(P)
GR/H17381/01 USING THE EVALUATION TRANSFORMER MODEL OF REDUCTION TO MAKE LAZY FUNCTIONAL LANGUAGES MORE EFFICIENT(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator