剛剛在樓下看到，原來 Moshe Y. Vardi 是本年度 Distinguished Lecture Series 講者之一。