Name:	Professor C Hankin
Organisation:	Imperial College London
Department:	Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous 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) 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