Huan Zhang

For More Information

• Personal Website

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

• Postdoctoral Researcher, Department of Computer Science, Carnegie Mellon University (01/2021 - 07/2023)
• Assistant Professor (Affiliate), Coordinated Science Laboratory, University of Illinois Urbana-Champaign (08/2023 - present)
• Assistant Professor (Affiliate), Siebel School of Computing and Data Science, University of Illinois Urbana-Champaign (08/2023 - present)
• Assistant Professor, Department of Electrical and Computer Engineering, University of Illinois Urbana-Champaign (08/2023 - present)

Research Interests

• Trustworthy Machine Learning
• Formal Verification of Machine Learning
• AI Safety, Robustness, and Reliability

Research Topics

• Artificial Intelligence and Autonomous Systems
• NLP, LLM
• Security, Trust, Verification

Honors

• NSF Faculty Early Career Development Program (CAREER) Award (2026)
• Winner of International Verification of Neural Networks Competition (VNN-COMP) (leader of the team) (2021, 2022, 2023, 2024, 2025)
• Collins Scholar (2023 - 2024) (2024)
• Schmidt Sciences AI2050 Early Career Fellowship (2022)

Research Honors

• MathWorks Research Award (2025)

Recent Courses Taught

• CS 446 (ECE 449) - Machine Learning
• ECE 120 - Introduction to Computing
• ECE 484 - Principles of Safe Autonomy
• ECE 584 (CS 584) - Embedded System Verification
• ECE 598 HZ - Adv Topics in Machine Learning