Imperial College London

ProfessorMichaelHuth

Faculty of EngineeringDepartment of Computing

Professor of Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8355m.huth Website

 
 
//

Location

 

Huxley 422ACE ExtensionSouth Kensington Campus

//

Summary

 

Collaborators

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

Kuo,J

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