Bor-Yuh Evan Chang

Papers

Total Citations

H-Index

About

Bor-Yuh Evan Chang is a leading researcher in programming languages, software verification, and formal methods, with a particular focus on automated reasoning for concurrent and parametrized systems. His major contributions center on developing scalable techniques for invariant generation—a cornerstone of program verification. In his highly cited work, "Invariant Generation for Parametrized Systems Using Self-reflection" (2012, 18 citations), Chang introduced a novel approach that leverages self-reflection to automatically infer invariants for systems with an unbounded number of concurrent processes, such as device drivers and distributed protocols. This work addresses a critical challenge in verifying correctness properties for real-world concurrent software, where traditional methods often fail due to state explosion. Chang’s approach enables more robust and automated analysis of complex, parametrized systems, significantly advancing the state of the art in formal verification. His research has influenced subsequent work in both academia and industry, particularly in the development of tools for safe concurrent programming. Through his innovative methods, Chang continues to shape how researchers and engineers build reliable, verified software systems.