Igor Markov Named ACM Distinguished Scientist