Hongchao Zhang

Department of Electrical and Systems Engineering, Washington University in St. Louis
Email hongchao@wustl.edu

my_pic_sea.jpeg

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