|
| Name: |
Professor C Hankin |
| Organisation: |
Imperial College London |
| Department: |
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
|
| |
|
|
|
|