I am deeply saddened with this loss to our community. He was such an influence to computer science as a whole.