• 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 2900 Lower Division, Undergraduate Level Independent Study (Spring 2019)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Spring 2019)
  • CSCI 4950 Senior Thesis (Spring 2019)
  • CSCI 5535 Fundamental Concepts of Programming Languages (Spring 2019)
  • CSCI 5900 Master's Level Independent Study (Spring 2019)
  • CSCI 6800 Master of Engineering Project (Spring 2019)
  • CSCI 6940 Master's Degree Candidacy (Spring 2019)
  • CSCI 6950 Master's Thesis (Spring 2019)
  • CSCI 7900 Doctoral Level Independent Study (Spring 2019)
  • CSCI 8990 Doctoral Dissertation (Spring 2019)
  • ECEN 5533 Fundamental Concepts of Programming Languages (Spring 2019)
  • CSCI 2900 Lower Division, Undergraduate Level Independent Study (Fall 2018)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Fall 2018)
  • CSCI 4950 Senior Thesis (Fall 2018)
  • CSCI 5900 Master's Level Independent Study (Fall 2018)
  • CSCI 6800 Master of Engineering Project (Fall 2018)
  • CSCI 6940 Master's Degree Candidacy (Fall 2018)
  • CSCI 6950 Master's Thesis (Fall 2018)
  • CSCI 7900 Doctoral Level Independent Study (Fall 2018)
  • CSCI 8990 Doctoral Dissertation (Fall 2018)
  • CSCI 2900 Lower Division, Undergraduate Level Independent Study (Spring 2018)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Spring 2018)
  • CSCI 4950 Senior Thesis (Spring 2018)
  • CSCI 5535 Fundamental Concepts of Programming Languages (Spring 2018)
  • CSCI 5900 Master's Level Independent Study (Spring 2018)
  • CSCI 6800 Master of Engineering Project (Spring 2018)
  • CSCI 6940 Master's Degree Candidacy (Spring 2018)
  • CSCI 6950 Master's Thesis (Spring 2018)
  • CSCI 7900 Doctoral Level Independent Study (Spring 2018)
  • CSCI 8990 Doctoral Dissertation (Spring 2018)
  • ECEN 5533 Fundamental Concepts of Programming Languages (Spring 2018)

Background

International Activities

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

Other Profiles