您的位置：首页 > 会议演讲者介绍

会议演讲者介绍

	Emmanuel Candes
	斯坦福大学数学、统计学教授及电子工程荣誉教授

	Edmund M. Clarke
	卡耐基梅隆大学计算机科学学院FORE荣誉教授，电气和计算机工程教授
	2007图灵奖获得者

	Joseph Halpern
	康奈尔大学计算机科学系主任、教授
	美国人工智能协会(AAAI)、美国计算机学会(ACM)及美国科学发展协会(AAAS) 院士