Dr. Xiaowei Huang


Lecturer / Assistant Professor - University of Liverpool

Dr. Xiaowei Huang is a lecturer/assistant professor with 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 testing of deep neural networks, with a paper on safety verification that has attracted more than 180 citations.

He has published 40+ papers, most of which appear in top conferences and journals of either Artificial Intelligence, such as the Artificial Intelligence Journal, ACM transactions on Computational Logics, AAAI, IJCAI, AAMAS, etc, Formal Verification, such as CAV, TACAS, and Theoretical Computer Science, or Software Engineering, such as ICSE and ASE. He has given invited talks and served as a panellist at several leading conferences, discussing topics related to the safety and security of applying machine learning algorithms to critical applications. He co-chairs the AAAI'19 and IJCAI'19 workshops on Artificial Intelligence Safety and is PI of a Dstl project on Test Metrics for Artificial Intelligence.

Telephone: +44 (0)151 795 4282

Email: xiaowei.huang at liverpool.ac.uk

Find out more.