1045 Regent Drive 430 UCB
Boulder CO, 80309‐0430 USA
Tuesday 11-12, Thursday 1-2
My research passion is to make software development better. Most often, I apply techniques from formal logic to design algorithms and build tools that tell you something about your programs. I care about not only techniques that derive facts about your programs but also those that interact with you to make such information actionable. I believe foremost in problem-driven research, but I often make use of theories and methodologies such as logics, semantics, abstract interpretation, symbolic execution, and type analysis.
BS, Carnegie Mellon University; MS, PhD, University of California, Berkeley
Bor-Yuh Evan Chang is an Assistant Professor of Computer Science at the University of Colorado Boulder. He is interested in tools and techniques for building, understanding, and ensuring reliable computational systems. His techniques target using novel ways of interacting with the programmer to design more precise and practical program analyses. He is a recipient of an NSF CAREER award. He received his M.S. and Ph.D. from the University of California Berkeley and his B.S. from Carnegie Mellon University.