2009/01/06

失之交臂

今天到中研院聽 2007 Turing Award 得主之一 Edmund M. Clarke 教授講他與 state explosion problem 奮戰 27 年的經驗。講完稍後 scm 老師告訴我 Oxford 有個計畫正在找博士生,可是今年末就要上工,因為兵役問題所以我完全沒得考慮。唉,那個計畫的內容非常吸引人呢。

--
令人扼腕…

Labels:

Blogger yen31/07/2009 10:33 am 說:

塞翁失馬,焉知非福

 
Anonymous Anonymous1/11/2009 3:02 am 說:

你要不要查看看你手動過刀要不要當兵呀@@

 
Blogger Josh Ko1/11/2009 3:41 am 說:

查過了耶,最極端情況也是替代役吧 XD。

 

<< 回到主頁