Computer scientist, mathematician, and university administrator. Known for research in computational logic, textbooks in theoretical computer science, and writings on computing, hig...
Show More
Computer scientist, mathematician, and university administrator. Known for research in computational logic, textbooks in theoretical computer science, and writings on computing, higher education, and technology. Gordon McKay Research Professor of Computer Science at Harvard University, and former Dean of Harvard College.
