清华海外名师讲堂第五十七讲:嵌入式系统-计算机科学研究的新挑战(Embedded Systems – New Research Challenges for Computer Science)
报告人:
Joseph Sifakis教授
教授 2007年图灵奖获得者,现任法国国家科学研究院（CNRS） 研究总监，以嵌入式系统著称世界的研究中心Verimag实验室的创始人，模型检查（Model-Checking）理论奠基人之一,欧洲嵌入式系统项目Europea n Network of Excellence ARTIST2 科学协调人。
