Incredibly sad news. His contributions to the foundations of computing will remain relevant for generations to come.