EPSRC logo
Researcher Details
Name: Professor MR Huth
Organisation: Imperial College London
Department: Dept of Computing
Current EPSRC-Supported Research Topics:
Human-Computer Interactions Information & Knowledge Mgmt
Mobile Computing Networks & Distributed Systems

Current EPSRC Support
EP/N023242/1 Cyber Security of the Internet of Things(C)
Previous EPSRC Support
EP/N020030/1 Machine Learning, Robust Optimisation, and Verification: Creating Synergistic Capabilities in Cybersecurity Research(P)
EP/E028985/1 Complete and Efficient Checks for Branching-Time Abstractions(P)
EP/D50595X/1 Efficient Specification Pattern Library for Model Validation(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator