Cordy named ACM Distinguished Scientist