Yong Kiam Tan
Papers
2
Total Citations
70
H-Index
2
About
Yong Kiam Tan is a leading researcher in formal verification and cyber-physical systems (CPS), whose work bridges the gap between high-level mathematical proofs and trustworthy, executable code. His most significant contribution is the development of **VeriPhy**, a groundbreaking verified pipeline that automatically transforms verified models of safety-critical CPS—expressed in differential dynamic logic (dL)—into verified controller executables. This work, published in 2018 and accumulating over 70 citations, proves that all safety properties are preserved end-to-end, addressing a critical challenge in deploying verified systems in the real world. By eliminating the abstraction gap between verified models and their implementations, Tan’s research enables provably safe control for applications such as autonomous vehicles and medical devices. His work exemplifies the power of combining theorem proving (e.g., KeYmaera X) with code generation, setting a new standard for trustworthy CPS. Tan’s contributions are foundational for researchers and engineers seeking to build reliable, safety-critical systems where correctness is not just assumed but mathematically guaranteed.
Research Focus
Key Achievements
Top Papers
- 1
- 2