• Contact Info
Publications in VIVO
 

Chang, Bor-Yuh Evan Associate Professor

Positions

Research Areas research areas

Research

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.

keywords

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

Publications

selected publications

Teaching

courses taught

  • CSCI 5535 - Fundamental Concepts of Programming Languages
    Primary Instructor - Spring 2018
    Considers concepts common to a variety of programming languages--how they are described (both formally and informally) and how they are implemented. Provides a firm basis for comprehending new languages and gives insight into the relationship between languages and machines. Recommended prerequisite: CSCI 3155 or instructor consent required. Same as ECEN 5533.
  • ECEN 5533 - Fundamental Concepts of Programming Languages
    Primary Instructor - Spring 2018
    Considers concepts common to a variety of programming languages--how they are described (both formally and informally) and how they are implemented. Provides a firm basis for comprehending new languages and gives insight into the relationship between languages and machines. Same as CSCI 5535.

Background

International Activities

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

Other Profiles