bec's picture

Bor‐Yuh Evan  Chang

Assistant Professor

Contact Information

evan.chang@colorado.edu
303-492-8894
ECOT 621
1045 Regent Drive 430 UCB
Boulder CO, 80309‐0430 USA

Office Hours

Tuesday 11-12, Thursday 1-2

Website

http://www.cs.colorado.edu/~bec/

Research Interests

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.

Education

BS, Carnegie Mellon University; MS, PhD, University of California, Berkeley

Biography

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.