Clarke to Receive Honorary Doctorate from Vienna University of Technology

Printer-friendly version

Edmund M. Clarke, FORE Systems University Professor of Computer Science and of Electrical and Computer Engineering, will receive an honorary doctorate from the Vienna University of Technology at an award ceremony Jan. 26 in Vienna, Austria.

The event culminates in a formal Viennese Ball, for which Clarke and his wife, Martha, have prepared with waltzing lessons. The ceremony is part of the opening of the new Vienna Center for Logic and Algorithms, which will promote international scientific collaboration in several high priority research areas. Those include Clarke's specialty, verification of hardware and software designs.

"Edmund M. Clarke is among the leading computer scientists of our times," the event program states. "Clarke's scientific vision of systems engineering by formal logical analysis has become an important research area of computer science in Austria."

Clarke is a pioneer in the field of Model Checking, an automated method for finding design errors in computer hardware and software. Clarke's role in creating Model Checking was recognized by the Association for Computing Machinery (ACM) with the 2007 Turing Award, the most prestigious award in computing.

In June, Clarke will participate with 32 other Turing winners in the ACM Turing Centenary Celebration in San Francisco and with other prestigious speakers at the Alan Turing Centenary Conference at the University of Manchester, U.K. Both events will pay tribute to Alan Turing, widely considered the father of computer science, in the year of what would have been his 100th birthday.

Byron Spice | 412-268-9068 | bspice@cs.cmu.edu