EPSRC logo
Researcher Details
Name: Professor MR Huth
Organisation: Imperial College London
Department: Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/N020030/1 Machine Learning, Robust Optimisation, and Verification: Creating Synergistic Capabilities in Cybersecurity Research(P)
EP/N023242/1 Cyber Security of the Internet of Things(C)
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