Huan Zhang
For More Information
Education
- Ph.D. in Computer Science, University of California Los Angeles, 2020
- M.S. in Computer Engineering, University of California Davis, 2014
- Bachelor of Engineering, Zhejiang University, 2012
Academic Positions
- Assistant Professor, Department of Electrical and Computer Engineering
- Assistant Professor (Affiliate), Department of Computer Science
- Assistant Professor (Affiliate), Coordinated Science Laboratory
Research Interests
- Trustworthy Machine Learning
- Formal Verification of Machine Learning
- AI Safety, Robustness, and Reliability
Research Areas
- Formal methods and software verification
- Machine learning
- Machine learning and pattern recognition
Research Topics
Honors
- Winner of International Verification of Neural Networks Competition (VNN-COMP) (leader of the team), 2021, 2022, 2023
- Schmidt Futures AI2050 Early Career Fellowship
Recent Courses Taught
- ECE 120 - Introduction to Computing
- ECE 584 (CS 584) - Embedded System Verification
- ECE 598 HZ - Adv Topics in Machine Learning