Imperial College London


Faculty of EngineeringDepartment of Computing

Head of the Department of Computing



m.huth Website




Huxley 566Huxley BuildingSouth Kensington Campus





The DBLP Database contains a nearly complete list of my past and present collaborators.

Guest Lectures

Numeric aggregation of trust evidence: from specification to verification and back (Academic Keynote), STM-WG, a working group of the European Research Consortium for Informatics and Mathematics (ERCIM), Royal Holloway, University of London, 2013

Numerical Aggregation of Trust Evidence, Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy, 2013

Policy Languages for User Managed Access, University of Newcastle, 2011

Identity Management: Key Technologies (Danish Workshop on IT Security in Practice), Aarhus University, Aarhus, Denmark, 2008

Research Staff


Research Student Supervision

Antonik,A, Efficient Specification Pattern Library for Model Validation

Charlton,N, Cooperatively combining program verifiers: foundation and tool support

Kuo,J, Parity Games: Descriptive Complexity and Algorithms for New Solvers

Wagner,D, Finite-State Abstractions for Probabilistic Computation Tree Logic