【大师开讲！今天丽娃河畔来了三位世界顶尖专家】今天，应信息学部软件工程学院邀请，2007年图灵奖获得者Joseph Sifakis教授，美国科学院院士、美国工程院院士、欧洲科学院院士Moshe Y. Vardi教授和ACM会士、IEEE会士Giuseppe De Giacomo教授三位计算机时序逻辑研究领域的顶尖专家来到华东师大，对话信息学部师生，分享前沿理念，并将以华东师大荣誉教授的新身份，助力华东师大推动人工智能领域的创新发展。 http://t.cn/Ai1mjWU7