THE SCS DISTINGUISHED HOMECOMING LECTURE SERIES... proudly presents The Turing Award Lecture (a.k.a. ED11111010 !) Edmund M. Clarke, FORE Systems University Professor of Computer Science and 2007 Turing Award Recipient: "Model Checking: My 27-Year Quest to Overcome the State Explosion Problem", Abstract, Thursday, 23 October, 2008, 4:00 pm, Wean Hall 7500

Lunar Prospecting Robot To Be Field Tested on Hawaii’s Mauna Kea --NASA Rover Was Developed by Robotics Institute! The cool, rocky slopes of Mauna Kea, a dormant volcano that is Hawaii’s highest mountain, will serve as a stand-in for the moon as researchers from the Robotics Institute, NASA and other organizations test a robot designed for lunar prospecting. News release

2008 Alumni Awards Honor Sindhu, Ganassi, Waltons! Pradeep Sindhu, who founded Juniper Networks after earning his master’s and doctorate degrees in computer science at Carnegie Mellon, is one of 19 alumni and honorary alumni who will be recognized with 2008 Alumni Awards. Three invaluable supporters of Carnegie Mellon’s Tartan Racing team – Chip Ganassi and Joseph C. and Molly Walton – will be named honorary alumni at the ceremony in Rangos Hall in the University Center, which begins at 5:30 p.m. Oct. 24. News release

Jeannette M. Wing, President’s Professor of Computer Science, was honored by Gov. Ed Rendell and First Lady Judge Marjorie O. Rendell as one of seven Distinguished Daughters of Pennsylvania during a luncheon at the Governor’s Residence in Harrisburg. Wing, now serving as assistant director for the National Science Foundation’s Computer and Information Science and Engineering directorate, was cited for her work in trustworthy computing, formal methods, programming languages, concurrent and distributed systems and software engineering, as well as her vision to make “computational thinking” a common part of science and math education. News release

Congratulations to the 2008 Boeing Leadership Scholarships Awardees!: Andrew Krieger, Sophomore; Le Wei, Sophomore; Laura Abbott, Junior; Luis Ballesteros, Junior; Benson Tsai, Junior. The Boeing Scholarships were established in fall 2002 to recognize student initiative and leadership, teamwork, academic excellence and quality, and perseverance.