Huan Zhang Postdoctoral Researcher Department of Computer Science Carnegie Mellon University (CMU) Email: huan at huan-zhang dot com I am currently on the 2023 academic job market. CV Google Scholar Research Statement Teaching Statement
I am a postdoctoral researcher at Carnegie Mellon University (CMU) and I work with Prof. Zico Kolter . I obtained my PhD in Computer Science from UCLA in 2020 and my advisor is Prof. Cho-Jui Hsieh . My research aims to build trustworthy AI systems that can be safely and reliably used in mission-critical tasks, with a focus on using formal verification techniques to give provable worst-case performance guarantees. I proposed and advanced a novel linear bound propagation based verification framework for deep
[Feb 2023] Two papers on reinforcement learning were accepted by ICLR 2023, and one paper on ML security was accepted by USENIX Security 2023.
neural-network-verification.comFormal Verification of Deep Neural Networks: Theory and Practice — A introductory and hands-on tutorial for neural network verif
Cihang Xie