Michael Huth

Michael Huth is a Visiting Professor at the Department of Computing, Faculty of Engineering at Imperial College London. His research focuses on formal methods, cybersecurity, computational theory, and software verification. He is affiliated with the Centre for Cryptocurrency Research and Engineering, Centre for Smart Connected Futures, and the Quantitative Analysis and Decision Science group. His work emphasizes rigorous mathematical foundations for information systems security and process-aware systems.

Key research areas include formal verification of security protocols, trust management systems, and automated reasoning tools. He has contributed extensively to the analysis of parity games, workflow authorization schemas, and probabilistic models. His affiliations reflect interdisciplinary collaborations in smart technologies and decision sciences.

Notable trends in his publications include advancing formal methods for system security, developing tools like PEALT for trust evidence analysis, and exploring theoretical underpinnings of computational logic. He has also engaged with practical applications of his research through frameworks for resilient computing and policy-based access control.