Yifeng Xiao
I am a Ph.D. student studying Electrical Engineering at the University of Southern California. I am advised by Prof. Pierluigi Nuzzo of the DesCyPhy Lab. My research focuses on the design and verification of cyber-physical systems, utilizing contract theory for system abstraction, compositional verification, and AI-based methodologies for system design.
I received my B.E. in Microelectronic Science and Engineering from Fudan University. I was fortunate to work with Prof. Jianli Chen and Prof. Bei Yu on graph and machine learning-based applications in electronic design automation.
I’m looking for self-motivated MS students at USC to work on research projects. If you are interested in machine learning-based system design, please feel free to contact me.