top of page

Dr. Xiaowei Huang

Dr. Xiaowei Huang is an assistant professor in the Department of Computer Science at the University of Liverpool. His research is concerned with the development of automated verification techniques that ensure the correctness and reliability of intelligent systems. He is leading the research direction on the verification and validation of deep neural networks. He has published 50+ papers, most of which appear in top conferences and journals of Artificial Intelligence, Formal Verification, and Software Engineering. He has given invited talks at several leading conferences, discussing topics related to the safety and security of applying machine learning algorithms to critical applications. He and is PI of two Dstl (Ministry of Defence, UK) projects on Test Metrics for Artificial Intelligence and co-I of EPSRC ORCA (Offshore Robotics for Certification of Asset) Hub.


INVITED TALK: Formal Methods in Certifying Learning-Enabled Systems

bottom of page