Skills - Python; Haskell; Tensorflow
Academic Domains - Computer Science
Dr. Xiaowei Huang is affiliated 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 130 citations in a year.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.