计算科学与工程--过去，现在和未来

演讲人：Joseph Sifakis

时间：2019-11-05 , AM 09:00

地点：图书馆111报告厅