Sun Yutao is a Ph.D. candidate in Integrated Circuit Science and Engineering at Beijing University of Posts and Telecommunications. His research focuses on functional safety verification in automotive systems, with a particular interest in developing innovative frameworks and tools to enhance the efficiency and accuracy of verification processes.