Hongchao Zhang
Department of Electrical and Systems Engineering, Washington University in St. Louis
Email hongchao@wustl.edu
1102 Green Hall
1 Brookings Drive
St. Louis, MO, 63130
Education
- Expected 2025 Ph.D. in Electrical Engineering,
Washington University in St. Louis, St. Louis, MO, USA- Advisor: Prof. Andrew Clark.
- 2020 M.S. in Electrical & Computer Engineering,
Worcester Polytechnic Institute, Worcester, MA, USA - 2018 B.E. in Automation Engineering,
Nanjing University of Aeronautics and Astronautics, Nanjing, China
Research Interest
- Learning-enabled System;
- Cyber-physical Systems (CPS)
- Safe Control
- Robotics
- CPS Security
Professional Experience
- 2022-Present Graduate Research Assistant, Washington University in St. Louis, St. Louis, MO, USA
- 2019-2022 Graduate Research Assistant, Worcester Polytechnic Institute, Worcester, MA, USA
Teaching Experience
- Mentoring in Washington University Research Experience for Undergraduates (REU)
- 2024 Mario Rodriguez-Montoya, Dzenan Zecevic
- 2023 Nicolas Hernandez, Keyron Linarez
- Mentoring Graduate Directed Research (Mark Charnot, Seifeldin I. Elkhashab) in 2023.
- Mentoring in the Worcester Polytechnic Institute Major Qualifying Project (MQP)
- 2022 Noelle Johnson
- 2019 Minh Le and Christopher Letherbarrow
Service
- Reviewer of IEEE TAC, IEEE TRO, IEEE T-IFS, IEEE L-CSS, IEEE CDC
- WUSTL ESE PhD Advisory Board
- Public Demonstration at WPI TouchTomorrow 2019, 2022
Awards and Fellowship
- 2023 General Motors AutoDriving Security Award at the inaugural ISOC Symposium on Vehicle Security and Privacy at the Network and Distributed System Security Symposium (NDSS)
- Shao-Fang and Tsu-Chin Lee Endowed Fellowship (2022)
Software Tools
- Python, PyTorch, Matlab, Linux, ROS, C/C++
Hardware Platform
- Raspberry Pi, Arduino, F1Tenth Car, Quadrotors
news
Sep 25, 2024 | [Accepted by NeurIPS2024] SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions, Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark |
---|---|
Sep 8, 2024 | [Accepted by ICAA2024] Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems, Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran |
Jul 25, 2024 | [Accepted by CDC2024] Learning a Formally Verified Control Barrier Function in Stochastic Environment, Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya |
Jul 25, 2024 | [Accepted by CDC2024] Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions, Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark |