Hi there, I am Kai-Chun (Kevin) Chang! 👋
I am a first-year PhD student in EECS at University of California, Berkeley, advised by Prof. Sanjit A. Seshia and Prof. Alberto L. Sangiovanni-Vincentelli.
Before coming to Berkley, I received my B.S. in Electrical Engineering at National Taiwan University (NTU). I am fortunate to have worked with Prof. Iris Hui-Ru Jiang on graph neural network (GNN)-based timing macro modeling, and work with Prof. Chung-Wei Lin, Prof. Qi Zhu from Northwestern University, and Prof. Chao Huang from University of Liverpool on the design of a safety-guaranteed framework for neural network-based planners of connected and autonomous vehicles.
My main research interest lies in the design, modeling, verification, and safety of cyber-physical systems (CPS), especially for (but not limited to) the application to autonomous vehicles and transportation systems. I am also interested in electronic design automation (EDA), with a focus on timing analysis and optimization, physical design optimization, and machine learning for EDA.
See my homepage, Google Scholar, Medium, and LinkedIn for more information.