• Contact Info
Publications in VIVO

Chang, Bor-Yuh Evan Associate Professor


Research Areas research areas


research overview

  • Dr. Chang’s research focuses on tools and techniques for building, understanding, and ensuring reliable computational systems. An overarching theme in Dr. Chang’s work is finding novel ways for users to interact with powerful automated reasoning engines, that is, to create program analyzers that truly amplify human efforts. A novel aspect of his work includes extracting necessary program invariants and reasoning rules from a variety of sources, including executable assertions, recorded traces, and source-code repositories.


  • program analysis, software quality, programming languages, programmer productivity tools, reliable systems, verification, logic


selected publications


International Activities

global connections related to teaching and scholarly work (in recent years)

Other Profiles