About me

Since December 2025, I am pursuing a Ph.D. at the Secure, Reliable, and Intelligent Systems Lab at ETH Zürich, advised by Prof. Martin Vechev.

Education

  • ETH Zurich, September 2023 - October 2025
    M.Sc. Data Science
  • Shanghai Jiao Tong University (SJTU), September 2017 -June 2021
    B.E Major: Information Engineering

Publications

2025

Average Certified Radius is a Poor Metric for Randomized Smoothing
Chenhao Sun*, Yuhao Mao*, Mark Niklas Müller, Martin Vechev
ICML 2025 * Equal contribution

Work experience

  • AMZ Racing
    September 2023 - August 2024

Awards

  • Championship, Formula Student Germany Driverless Cup and Overall Category, August 2024
  • Championship, Formula Student EAST Driverless Category, August 2024