Viva means PhD thesis defence. And I passed it this afternoon.

I just learned that Carnegie Mellon University professor Randy Pausch, who grew notoriety for his “Last Lecture”, died last Friday of pancreatic cancer. I have mentioned that lecture on my previous blog entry: Achieving Your Childhood Dreams Ji on 2008-2-20,21:59 Tags：Legend , Speech. It is a pretty sad news to me, although he actually lived [...]

February 04, 2008 Source: http://www.ddj.com/206103622 2007 Turing Award Winners Announced For their groundbreaking work on Model Checking Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software. The method, called Model [...]