|Assistant Professor of Electrical Engineering and Computer Science
Ming Hsieh Department of Electrical and Computer Engineering
and Center for Cyber-Physical Systems and the Internet of Things
University of Southern California
I am interested in system design and its automation. My research areas include:
- Methodologies and tools for the design of cyber-physical systems and mixed-signal integrated circuits;
- Contracts, interfaces, and compositional methods in embedded system design and requirement engineering;
- Application of automated formal methods and optimization theory to problems in embedded and cyber-physical systems, electronic design automation, and hardware security.