Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model checking (ACM Turing Award, 2007), but also pioneered model checking as a powerful tool for industrial hardware and software engineering.

As part of the festive opening of the Vienna Center for Logic and Algorithms, Prof. Clarke will be awarded an honorary doctorate from TU Vienna in recognition of his contributions to Computer Science:

Thursday, January 26, 2012

The award ceremony takes place at Boecklsaal (1040 Wien, Karlsplatz 13, Stiege I, 1. Stock).
It is preceded by the Symposium »Logic and Algorithms: A Scientific Perspective« and the Official Opening of the Vienna Center for Logic and Algorithms on Wednesday, January 25, 2012.

Photos

Photos by Thomas Blazina