Michael S. Hsiao

Michael S. Hsiao is a Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. His research focuses on design, test, verification, and diagnosis of complex hardware and software systems. He earned his Ph.D., M.S., and B.S. in Electrical Engineering from the University of Illinois. Notably, he was elected an IEEE Fellow in 2013 for contributions to automatic test pattern generation. His work spans natural language processing in hardware verification, hybrid AI systems, and formal methods. He has authored over 80 peer-reviewed publications and led significant research projects.

Education:

• Ph.D., University of Illinois, 1997
• M.S., University of Illinois, 1993
• B.S., University of Illinois, 1992

Research Interests:

• Testing and Verification of Hardware Systems
• Computer Architecture and Digital Design
• Algorithm Development for Hardware Diagnostics
• Natural Language Processing in Design Automation

Recent Article Trends: Recent work emphasizes integrating NLP with formal verification (e.g., translating English specifications to SystemVerilog assertions), hybrid AI systems for intent clarification, and robotic path-finding using natural language. These contributions bridge abstract language-based specifications with rigorous engineering validation.

Awards:

• IEEE Fellow (2013) – For contributions to automatic test pattern generation of integrated circuits

Advising & Grants: While specific student names are not listed here, his research has been supported by over 160 projects. He has also contributed to industry collaborations, including work on anti-counterfeit ICs and hardware security.