- Paul Snowden Russell Distinguished Service Professor in Computer Science and Mathematics
Robert Soare established the now highly ranked logic group at the University soon after joining the faculty in 1974. He served as founding chairman of the Computer Science Department from 1983 to 1987. Soare’s 1987 book, Recursively Enumerable Sets and Degrees, is the standard text on computability and mathematical logic at many universities. His next book, Computability Theory and Applications, will be released in 2012, coinciding with the 100th anniversary of the birthday of Alan Turing, the father of modern computing and computability. Soare has presented lectures all over the world at the invitation of professional organizations such as the International Congress for Logic, Methodology, and Philosophy of Science, and the International Congress of Mathematicians.