Andrew Wu

Andrew (Haoze) Wu is an assistant professor in Computer Science at
Amherst College. He is also an affiliated Researcher at Broadcom.

Wu teaches and conducts research in formal methods and artificial
intelligence. His research aims to bridge automated reasoning and
machine learning in order to build safer and more capable computer
systems. In particular, he develops formal methods to improve the
trustworthiness of learning-enabled systems and studies AI-assisted
automated reasoning, with an emphasis on overcoming the scalability
and high-level reasoning limitations of automated reasoners while
addressing the opacity and potential vulnerabilities of
deep-learning-enabled systems. His teaching interests include
introductory computer science as well as automated reasoning,
artificial intelligence, and formal verification.