The Association for Computing Machinery has awarded Professor Nikil Dutt with the title of ACM Distinguished Scientist. The ACM recognizes members who have made significant accomplishments or achieved significant impacts in the computing field.