09′ 1/8 雜記

最近聽了兩場演講，一個是去年 Tuning Award winner 談如何用 model checking 去解決 state explositon 問題，而且已經實際用在工程上，例如 Intel 之前 Pentium CPU 設計上的 bug。這是他做了 27 年的問題，前前後後手下總共有五十幾個博士後，研究生以及其他人的貢獻。從理論（finite model theory）到實務（efficient algorithm）都講得非常精采。