UC Santa Barbara Computer Science Professor Tevfik Bultan, has been named by the Association for Computing Machinery (ACM) as a 2016 Distinguished Scientist; for his contributions in formal modeling and verification. Members are selected by ACM for individual achievements that expand scientific frontiers and advance the Digital Age. Read more here.
ACM is the world's largest educational and scientific computing society, delivering resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources.