Peter Lee @ February 24, 2008 # One Comment
The Computing Research Association (CRA) announced last December the recipients of the 2008 Outstanding Undergraduate Awards. We did well again, with two of our students, Henry DeYoung and Evan Hoke being named as finalists. The CRA each year picks one or two men and one or two women as Outstanding Undergraduates of the Year. In […]
Peter Lee @ February 22, 2008 # 2 Comments
Bill Gates visited CMU yesterday, the last stop on his “farewell tour” as he steps down from Microsoft and joins as a full-time member of the Gates Foundation. I have to say there was a genuinely warm-and-fuzzy feeling on this visit. Maybe it was because of Gates’ generosity when he visited four years ago (CMU […]
Peter Lee @ February 20, 2008 # One Comment
Great news! It was finally announced publicly today that the Henry L. Hillman Foundation will provide a naming gift for a part of the still-in-construction School of Computer Science Building Complex. This complex, which will contain the 150,000 sq.ft. Gates Center for Computer Science, will now also have a 50,000 sq.ft. Hillman Center for Future-Generation […]
Peter Lee @ February 13, 2008 # No Comment Yet
I’m just finishing a visit to UCSD. Yesterday, I gave a distinguished lecture in their CS department entitled, Ten Years of Certified Code. In recent years, UCSD has been building up a very nice faculty in areas related to programming languages, program analysis, verification, and security (both systems security and language-based security). There was a […]
Peter Lee @ February 13, 2008 # No Comment Yet
A nice photo of three (active) CMU Turing Award winners. From left to right, Raj Reddy, Ed Clarke, and Manuel Blum.
Peter Lee @ February 13, 2008 # No Comment Yet
There really is a lot of buzz lately about the Middle East, particularly the Gulf states. And no wonder — with a rising middle class estimated at over 350M families and massive new investments in both research, education, and economic development, there is a growing sense that the Gulf region, at least, could undergo major […]
Peter Lee @ February 7, 2008 # No Comment Yet
A message from Randy Bryant today:
Members of SCS:
I’m pleased to inform you that Bill Gates will be visiting the Carnegie Mellon University campus on Thurs., Feb. 21.
He will be giving a talk, open to the campus community, at 4:00 in Rangos. Attached is information about attending. Attendance is first-come, first-served.
As happened four years […]
Peter Lee @ February 6, 2008 # No Comment Yet
Last week I wrote an article about Randy Pausch appearing on the local PBS show “OnQ”. The station has just put up a link to streaming video of the program, available at http://www.wqed.org/ondemand/onq.php?id=222.
An interesting show, focusing on Randy’s impact at CMU.
Peter Lee @ February 5, 2008 # No Comment Yet
Yesterday we had the wonderful announcement of Ed Clarke as co-winner of the 2007 Turing Award. The news was allowed to go public at 10am on Monday, February 4, 2008. Ed was extremely anxious to let the cat out of the bag after more than two stressful weeks of keeping the secret.
In the morning, his […]
Peter Lee @ February 4, 2008 # 2 Comments
Just released: Ed Clarke has been awarded the 2007 A.M. Turing Award!
The award, which will be shared with E. Allen Emerson and Joseph Sifakis, cites the pioneering development of the model-checking method for finding errors in hardware and software designs, sparking an extremely active area of research and changing how the computer hardware industry verifies […]