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 longer than what the doctor [...]

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 Checking, is the most [...]