Pei-Hsin Ho

Papers

Total Citations

421

H-Index

About

Pei-Hsin Ho is a pioneering researcher in formal verification and hybrid systems, best known for his foundational work on the model checker HyTech. His key research areas include embedded systems, real-time computing, and automated verification of safety-critical systems. Ho's major contribution is the development of HyTech, a symbolic model checker for linear hybrid automata, which enables the automated analysis of systems combining discrete and continuous dynamics. This tool has been instrumental in verifying correctness properties of embedded controllers, such as those in automotive and aerospace applications. With over 421 citations for the seminal 1997 paper, Ho's work has had a lasting impact on the formal methods community, influencing subsequent tools and theoretical advances. His research bridges theory and practice, providing engineers with rigorous methods to ensure system reliability. Ho's achievements include advancing the state of the art in hybrid system verification and inspiring a generation of researchers to tackle the challenges of cyber-physical systems.