090219 跑跑跑

一天內有四個meeting XD
認識了三個博士生

Deepak好像是印度來的
講話速度超快 做的東西跟Proof-carrying authorization有關
我覺得還蠻有趣的 應該是可以跟cross site scripting扯上一些關係
人很好 可是跟他meeting的時候自己報告的並不是很好Orz
算是第一次用英文很完整的描述自己在做的東西吧

下午又認識了Robert
他主要做的東西是based on logic program針對data-flow diagram做分析
不過分析的方法跟我們不太一樣
他會把不該接觸到的state標起來
然後run input test看看會不會撞到wrong states
可以用來幫助programmer debug或是偵測程式錯誤的地方
似乎跟Microsoft的software verification on drivers有關
感覺也還不錯 可能可以再仔細討論

第3個人是Michael 是Peter的學生
做得東西就跟我比較沒有關係
是跟分散式系統有關的 讓一百萬個小型機器人自動排列成任意的立體形狀
他倒是對Temporal Logic有一些興趣就是了
也算是相談甚歡

OIE中午跟我們講了一些Visitor的規定八拉八拉

今天一整天跑下來
覺得自己已經不怎麼怕講英文了
因為要跟別人討論 你不得不講出來
而且其他大家在意的是學術上的內容
英文不要有太奇怪的偏差 好像也沒有什麼關係

倒是不知道現在這樣的情況
Research work的下個階段要怎麼辦
到底有沒有什麼有趣的題目而且還真的可以做呢....
麻煩阿麻煩

睡覺去
在美國晚上很容易想睡覺XD