Ming Hsieh Department of Electrical 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.