时间过得真快,转眼间奥运都快开始了。
1. Ann Arbor这边真是一点过年的气氛都没有,大家还是该干嘛干嘛。倒是Berkeley教授Luca Trevisan发了了一篇中文blog恭喜发财!。今天华人学生会有个晚会,可熟悉的人都不去,晚饭吃饱后也不想动,我也就没去。
2. 2007年的图灵奖获得者名单已经公布,Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis因为Model Checking的工作将共享25万美金...
Tag Archive For ""
新年快乐
杂记-20080129
1. 家乡大雪加冰冻,几乎已经成一孤城。从衡阳到县城平时票价35,现在叫价200。家里停水停电,想自己发电又没油。物价飞涨,这种事情对城市低收入阶级的打击太大了。京广线湖南广州段因为停电,电气化火车没法运行,只有老式的内燃机还能跑。湖南在广州超过800万的民工啊。
2. 中国的煤还能挖多少年?我感觉能源将是中国发展的一个最大的制约。其实这个世界...
杂记-20080126
好久没更新了,在美国这边每天生活平淡无奇,也不像以前那么有时间弄些乱其八糟的东西,所以这次我也只能写些生活了。大家多多捧场。
1. 今天给了一个一个小时的英文talk,下面听的老师跟学生差不多多,弄得我非常紧张。我的英文比较有杀伤力,估计下面没几个人听懂,就跟我浏览了一下PPT吧。右边是我的讲稿,虽然不是我的论文,但我目前正在做相关的问题...